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:
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- Ethereum stateless tools☆45Updated 5 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- High performance EraVM for zkSync.☆23Updated 4 months ago
- Writing MACI circuits in Noir☆16Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated last week
- ☆26Updated last month
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated 2 years ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆33Updated last week
- rust types and services for Zenith 🎀☆29Updated 5 months ago
- Cryptographic protocols☆39Updated 2 years ago
- Crypto Gadgets for Plonky2☆73Updated last year
- ☆28Updated 3 years ago
- ☆33Updated 2 years ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Updated 9 months ago
- ☆39Updated 2 years ago
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated last month
- Axiom smart contracts☆26Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆33Updated last year