PufferFinance / raveLinks
Remote Attestation VErification
☆35Updated last year
Alternatives and similar repositories for rave
Users that are interested in rave are comparing it to the libraries listed below
Sorting:
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Axiom smart contracts☆26Updated 2 years ago
- ☆26Updated 4 months ago
- Ethereum stateless tools☆45Updated 9 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Cryptographic protocols☆38Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Updated last month
- A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
- ☆27Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 11 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆50Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated 3 weeks ago
- ☆31Updated 3 months ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 4 years ago
- ☆33Updated 2 years ago
- storage proof made by sp1☆25Updated last year
- Arkworks circuits for verifiable time-lock encryption☆92Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- rust types and services for Zenith 🎀☆29Updated 10 months ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- PoC of Revm execution in a Nitro Enclave☆29Updated 2 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- ☆33Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago