polytope-labs / ismp-solidity
Solidity implementation of the Interoperable state machine protocol
☆15Updated this week
Related projects: ⓘ
- Shielding tokens with zkSNARKs☆20Updated 5 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆32Updated last week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆49Updated 9 months ago
- KZG commitments over BLS12-381☆31Updated last year
- ☆31Updated 6 months ago
- Minimal template for simulating contracts with arbiter.☆45Updated 3 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- ☆32Updated 8 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆57Updated last month
- ☆18Updated 5 months ago
- ☆31Updated 5 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆11Updated 5 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 4 months ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Integration of the Kakarot Ethereum execution layer in the Reth client.☆24Updated this week
- ☆17Updated last year
- Composable OP Stack Orchestration☆41Updated 10 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆27Updated 9 months ago
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- Andromeda revm execution service☆29Updated last month
- A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints.☆11Updated this week
- Suave/TEE PoCs of MEV Resistant AMMs☆38Updated 3 months ago
- Security Challenges for Starknet☆12Updated 3 months ago
- Canonical type definitions for EIP-155 chains☆52Updated this week
- ☆28Updated last year
- Bolt: permissionless proposer commitments on Ethereum☆47Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated this week
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year