iykyk-syn / unison
Consensus nodes performing in unison!
☆32Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for unison
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Sidecar to Enable Rollup Extensions☆55Updated this week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- A kurtosis package for deploying an optimistic rollup☆40Updated this week
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- PoC of Revm execution in SGX☆81Updated last year
- Bolt: permissionless proposer commitments on Ethereum☆62Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated 7 months ago
- Solidity contracts for a next-gen rollup system.☆63Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 7 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆50Updated 11 months ago
- Collection of helpful smart contracts to build Suapps☆44Updated 2 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- Smart contracts for the Telepathy protocol☆74Updated 8 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- Noir implementation of RSA-verify☆41Updated 11 months ago
- Repository for research on Suave.☆23Updated last year
- Minimal template for using the Arbiter framework for simulations.☆45Updated last week
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- ☆34Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆56Updated this week
- ☆41Updated 7 months ago