brevis-network / brevis-sdkLinks
SDK for writing application circuits on Brevis
☆25Updated last month
Alternatives and similar repositories for brevis-sdk
Users that are interested in brevis-sdk are comparing it to the libraries listed below
Sorting:
- Hyper-parallel ZK coprocessing.☆15Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆121Updated 3 weeks ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 3 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆127Updated this week
- On-chain Ethereum light client built with SP1☆75Updated last week
- Reference implementation of the node for the Miden blockchain☆76Updated this week
- ☆114Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆137Updated 4 months ago
- ☆64Updated last year
- ☆61Updated 2 months ago
- Rust implementation of the Agglayer.☆112Updated this week
- ☆23Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- ☆11Updated last year
- ☆86Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 6 months ago
- ☆98Updated 6 months ago
- zkEVM proof generator reference written in Javascript☆82Updated 5 months ago
- Projects from the Succinct ZK Residency☆20Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated last week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆45Updated last year
- A collection of ZK light client libraries for various blockchains☆63Updated 11 months ago
- An observatory fork of SP1☆75Updated 8 months ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆27Updated 10 months ago
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated last year
- RISC-V interactive fault proof tech☆107Updated 6 months ago
- Wasm friendly Celestia light node implementation in Rust☆166Updated last week
- Out-of-circuit zkEVM implementation☆80Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 4 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year