PufferFinance / rave
Remote Attestation VErification
☆32Updated 9 months ago
Alternatives and similar repositories for rave
Users that are interested in rave are comparing it to the libraries listed below
Sorting:
- Validation code for the EOF specification☆54Updated 2 weeks ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆33Updated 2 weeks ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- A curated list of resources on zkECDSA☆37Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- ☆19Updated last week
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆16Updated this week
- SMT 2023 Submission; license pending☆54Updated 5 months ago
- Cryptography libraries for ZKsync☆31Updated last week
- ☆55Updated this week
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated last year
- Ethereum stateless tools☆46Updated 3 weeks ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- 👽 Small exercises to get you used to ZK fundamentals!☆32Updated 3 months ago
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆41Updated this week
- examples and utilities of Dstack applications☆15Updated this week
- Generalized EIP-3074 Invoker with batch transaction support.☆17Updated last year
- On-chain Ethereum light client built with SP1☆48Updated 2 weeks ago
- Literally the SIMPLEST implementation of an EVM storage proof inside SP1☆14Updated 5 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆36Updated 2 months ago
- Macros + Primitives for PADE format☆29Updated 2 weeks ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago