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:
- High performance EraVM for zkSync.☆23Updated 2 months ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 8 months ago
- Circuits for Pluto's `web-prover`☆24Updated 8 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 10 months ago
- ☆26Updated 3 months ago
- Axiom smart contracts☆26Updated 2 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- Ethereum stateless tools☆45Updated 8 months ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated last week
- Writing MACI circuits in Noir☆16Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 11 months ago
- Cryptographic protocols☆38Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Updated 2 weeks ago
- BN254 Pairing Implementation in Noir☆23Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- rust types and services for Zenith 🎀☆29Updated 9 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- Solidity contracts for a next-gen rollup system.☆70Updated 2 months ago
- ☆28Updated 4 years ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Macros + Primitives for PADE format☆29Updated 5 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- Rust implementation of KZG point evaluation☆35Updated 5 months ago
- ☆33Updated 2 years ago