PufferFinance / raveLinks
Remote Attestation VErification
☆34Updated 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
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- Ethereum stateless tools☆45Updated 6 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 6 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- PoC of Revm execution in a Nitro Enclave☆29Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week
- rust types and services for Zenith 🎀☆29Updated 7 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Benchmark of ZKVMs and Proving Schemes☆29Updated last week
- ☆26Updated 3 weeks ago
- Crypto Gadgets for Plonky2☆73Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- Macros + Primitives for PADE format☆29Updated 3 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- an introduction to noir, with simple examples☆44Updated last year
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Cryptographic protocols☆38Updated 2 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Updated 11 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆33Updated 2 years ago