brevis-network / brevis-sdkLinks
SDK for writing application circuits on Brevis
☆33Updated 3 months ago
Alternatives and similar repositories for brevis-sdk
Users that are interested in brevis-sdk are comparing it to the libraries listed below
Sorting:
- Smart contracts for onchain verification of SP1.☆131Updated last week
- Hyper-parallel ZK coprocessing.☆17Updated 5 months ago
- ☆203Updated last week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆134Updated 2 months ago
- Reference implementation of the node for the Miden blockchain☆90Updated this week
- ☆61Updated 3 weeks ago
- ☆65Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Updated last year
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆134Updated 10 months ago
- Rust implementation of the Agglayer.☆117Updated this week
- Read-only mirror of https://git.vdb.to/cerc-io/stack-orchestrator☆35Updated last week
- ☆23Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆64Updated last month
- Hyli is a high-performance blockchain with built-in privacy.☆116Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Updated last week
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.☆63Updated last year
- Symbiotic Core Smart Contracts☆58Updated last week
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated this week
- Components for the Base L2 chain☆154Updated this week
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆51Updated 2 weeks ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- ☆59Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated 2 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 8 months ago
- An observatory fork of SP1☆77Updated last year
- Plug-and-play fee market module for Cosmos SDK chains☆32Updated 2 months ago
- RISC-V interactive fault proof tech☆108Updated 2 months ago
- Wasm friendly Celestia light node implementation in Rust☆171Updated this week
- Curated list of ZKML models and use cases made with Giza☆51Updated last year