deltadevsde / prism
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.
☆93Updated this week
Alternatives and similar repositories for prism:
Users that are interested in prism are comparing it to the libraries listed below
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆109Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Smart contracts for onchain verification of SP1.☆89Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆161Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆103Updated 2 weeks ago
- EigenLayer Rust Developer Tooling☆87Updated last week
- Cryptographic primitives used in Polygon Miden rollup☆112Updated 2 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆158Updated this week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆193Updated this week
- ☆142Updated 2 months ago
- Reference implementation of the node for the Miden blockchain☆63Updated this week
- On-chain Ethereum light client built with SP1☆48Updated 2 weeks ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆75Updated last week
- ☆94Updated 8 months ago
- ☆123Updated 6 months ago
- RISC-V interactive fault proof tech☆102Updated this week
- ☆150Updated last year
- ☆58Updated 5 months ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆122Updated 3 weeks ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- A EVM block proving backend in Cairo☆68Updated this week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆64Updated this week
- Bolt: permissionless proposer commitments on Ethereum☆94Updated last week
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 4 months ago
- Email verification circuit in halo2☆68Updated 10 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated last month
- ☆79Updated this week
- barretenburg in rust (here we go)☆98Updated last year