athenavm / athenaLinks
Athena monorepo
☆23Updated last week
Alternatives and similar repositories for athena
Users that are interested in athena are comparing it to the libraries listed below
Sorting:
- A collection of ZK light client libraries for various blockchains☆53Updated 6 months ago
- Shielding tokens with zkSNARKs☆21Updated last year
- ☆40Updated 8 months ago
- ZKM Development Template/Framework☆25Updated last month
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 9 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 7 months ago
- Arkworks extensions enabling customizable hooks for EC operations☆50Updated 3 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- ☆59Updated 7 months ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆55Updated 2 weeks ago
- Demo for op rollup with decoupling SVM execution layer☆42Updated 7 months ago
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆88Updated this week
- Expander Compiler☆37Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- An observatory fork of SP1☆69Updated 4 months ago
- Rust implementation of POST proving☆14Updated last week
- Typestate interface for revm☆79Updated this week
- Step by step implementation of KZG☆19Updated 9 months ago
- Cryptographic primitives used in Polygon Miden rollup☆113Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- A zk-friendly, Rust-based WebAssembly virtual machine designed for safe, high-performance execution and blockchain compatibility.☆11Updated this week
- Pessimistic proof for the AggLayer.☆26Updated last year
- De-chained Ready-to-play ink! playground☆71Updated last month
- On-chain Ethereum light client built with SP1☆57Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- MoveVM pallet for Substrate-based chains☆27Updated 5 months ago
- Rust implementation of the Alpen protocol☆76Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 4 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated last week