atoma-network / atoma-proxy
Atoma's proxy service repository
☆15Updated this week
Alternatives and similar repositories for atoma-proxy:
Users that are interested in atoma-proxy are comparing it to the libraries listed below
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆31Updated 2 weeks ago
- Welcome to the compute digital revolution! Here, you'll discover everything you need to deploy an Atoma node and join the future of decen…☆28Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- ☆51Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated 3 weeks ago
- Reference implementation of the node for the Miden blockchain☆63Updated this week
- ZKM Development Template/Framework☆25Updated 2 weeks ago
- ☆17Updated 5 months ago
- rWASM related crates including VM and AOT compilers☆11Updated last week
- Configuration and scripts for running Astria☆21Updated 9 months ago
- On-chain Ethereum light client built with SP1☆48Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- ☆35Updated last month
- CLI to verify your starknet contracts classes on block explorers!☆26Updated 3 weeks ago
- ☆49Updated this week
- Core components of the Miden protocol☆77Updated this week
- A demo for a dApp on Walrus Sites, with minting and per-NFT sites.☆30Updated last month
- ☆58Updated 5 months ago
- 🐺 Starknet Rust types 🦀☆69Updated last month
- Specification of P2P protocol for StarkNet nodes☆49Updated 2 months ago
- High performance EraVM for zkSync.☆24Updated 2 weeks ago
- Curated list of ZKML models and use cases made with Giza☆48Updated 11 months ago
- ☆62Updated last month
- ☆25Updated last month
- Smart contracts for onchain verification of SP1.☆89Updated this week
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆17Updated last week
- ☆21Updated 10 months ago
- A EVM block proving backend in Cairo☆68Updated this week
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆36Updated last week