AtomaAI / atoma-contractsLinks
Smart contracts repository for the Atoma Network
☆11Updated 8 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.☆132Updated this week
- Canonical type definitions for EIP-155 chains☆100Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated 2 months ago
- Sidecar to Enable Rollup Extensions☆163Updated 2 weeks ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- 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
- groth16 verifier implementation with solana altbn syscalls☆58Updated 3 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- ☆61Updated last month
- Rust implementation of the Agglayer.☆117Updated this week
- ☆66Updated 2 months ago
- ☆119Updated this week
- Go SDK for building AVSs on Eigenlayer☆75Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Updated last week
- Core components of the Miden protocol☆109Updated this week
- Symbiotic Collateral Smart Contracts☆39Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- A library for secure smart contract development written in Rust☆146Updated last month
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated last week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆83Updated 2 weeks ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆214Updated last week
- Symbiotic Core Smart Contracts☆58Updated last week
- Smart contracts for on-chain anonymous settlement.☆124Updated 5 months ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- Components for the Base L2 chain☆154Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated 6 months ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆102Updated 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
- ☆29Updated 3 years ago
- Out-of-circuit zkEVM implementation☆80Updated last year