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:
- Writing MACI circuits in Noir☆16Updated last year
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- PoC of Revm execution in SGX☆81Updated last year
- Crypto Gadgets for Plonky2☆73Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- Celestia derivation pipeline and proof crate built with kona☆14Updated 3 weeks ago
- ☆42Updated 10 months ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- Ethereum stateless tools☆45Updated 4 months ago
- Solidity verifier for Plonk☆42Updated last year
- 👽 Small exercises to get you used to ZK fundamentals!☆35Updated 6 months ago
- Projects from the Succinct ZK Residency☆18Updated 10 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- High performance EraVM for zkSync.☆23Updated 4 months ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Updated 9 months ago
- Macros + Primitives for PADE format☆29Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Benchmark of ZKVMs and Proving Schemes☆29Updated 3 months ago
- Axiom smart contracts☆26Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 9 months ago
- Breathe air☆25Updated last year
- ☆39Updated 2 years ago
- ☆49Updated last year
- KZG commitments over BLS12-381☆36Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago