polytope-labs / ismp-solidityLinks
Solidity interfaces for the Interoperable state machine protocol
☆19Updated 7 months ago
Alternatives and similar repositories for ismp-solidity
Users that are interested in ismp-solidity are comparing it to the libraries listed below
Sorting:
- Rust implementation of KZG point evaluation☆33Updated last month
- EVM abstraction layer☆62Updated this week
- Ethereum stateless tools☆45Updated 5 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated 2 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆59Updated last week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- A consensus client for Reth☆45Updated last week
- Solidity contracts for a next-gen rollup system.☆67Updated last week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆59Updated last year
- ☆56Updated this week
- an introduction to noir, with simple examples☆44Updated last year
- Serverless function on Reth☆72Updated last year
- Private transactions on EVM chains, supporting dynamic deposit amounts, partial withdrawals and shielded/confidential transfer of value.☆23Updated last year
- BYOR - Build Your Own Rollup☆64Updated last month
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 6 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- Composable OP Stack Orchestration☆41Updated last year
- Smart contracts for on-chain anonymous settlement.☆115Updated 2 weeks ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆92Updated this week
- ☆42Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- ☆30Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 8 months ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- ☆27Updated 2 years ago
- Project starter template for writing Arbitrum Stylus programs in Rust☆51Updated 3 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated last month