deltadevsde / prism
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.
☆21Updated this week
Related projects: ⓘ
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Consensus nodes performing in unison!☆31Updated 3 months ago
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- Solidity contracts for a next-gen rollup system.☆57Updated last week
- Bolt: permissionless proposer commitments on Ethereum☆47Updated this week
- ☆40Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- ☆58Updated last month
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆65Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- PoC of Revm execution in SGX☆78Updated 10 months ago
- Cross-zk-rollup aggregation☆59Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆43Updated 7 months ago
- 🔒💬 A protocol for credible commitments.☆73Updated 7 months ago
- CLI tool to develop Starknet projects written in Cairo☆56Updated 9 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- ☆35Updated last year
- (currently not usable) The official Rust implementation of Topology Protocol☆23Updated last month
- Basic Noir anonymous proof of membership☆88Updated last year
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆55Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆69Updated last year
- Concrete is a framework for building application-specific rollups on the OP Stack☆47Updated last week
- ☆42Updated 2 months ago
- Noir implementation of RSA-verify☆41Updated 9 months ago
- Typestate interface for revm☆54Updated this week
- Client library for generating and using RLN ZK proofs☆30Updated 11 months ago
- an introduction to noir, with simple examples☆43Updated 8 months ago
- Serverless function on Reth☆65Updated 3 weeks ago
- Smart contracts for the Telepathy protocol☆73Updated 5 months ago