atoma-network / atoma-contractsLinks
Smart contracts repository for the Atoma Network
☆11Updated 4 months ago
Alternatives and similar repositories for atoma-contracts
Users that are interested in atoma-contracts are comparing it to the libraries listed below
Sorting:
- Smart contracts for onchain verification of SP1.☆114Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated 2 weeks ago
- Reference implementation of the node for the Miden blockchain☆74Updated this week
- EigenLayer Rust Developer Tooling☆90Updated last month
- groth16 verifier implementation with solana altbn syscalls☆52Updated 3 months ago
- Go SDK for building AVSs on Eigenlayer☆76Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack☆188Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆67Updated 3 weeks ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 9 months ago
- Core components of the Miden protocol☆90Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆137Updated 2 months ago
- ☆97Updated 4 months ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 6 months ago
- ☆55Updated this week
- Technical documentation of the zkEVM☆91Updated last year
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆69Updated 2 weeks ago
- ☆60Updated last month
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆84Updated 9 months ago
- A EVM block proving backend in Cairo☆84Updated last week
- ☆23Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆30Updated 2 months ago
- zero-knowledge execution of eBPF bytecode☆90Updated 2 years ago
- Sidecar to Enable Rollup Extensions☆142Updated this week
- Rust implementation of the Agglayer.☆110Updated this week
- the EVM, simplified☆88Updated this week
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated this week
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆80Updated 2 weeks ago