Consensys / distributed-validator-formal-specs-and-verificationLinks
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs
☆15Updated last year
Alternatives and similar repositories for distributed-validator-formal-specs-and-verification
Users that are interested in distributed-validator-formal-specs-and-verification are comparing it to the libraries listed below
Sorting:
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- Plugin project template for the Ape Framework☆24Updated 2 months ago
- Audits for sudoswap contracts☆29Updated 2 years ago
- ☆16Updated last month
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- Solidity source debugger built around EthereumJS☆25Updated this week
- Templating for meta vaults☆23Updated 3 years ago
- ERC4626 Adapters of different kinds☆44Updated 6 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- ☆28Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- On-chain competition framework for Lens Protocol☆20Updated 2 years ago
- A repository to store everything related to Mean's oracles☆18Updated 2 months ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 2 years ago
- Repository for research on Suave.☆23Updated last year
- ☆19Updated 2 years ago
- Mechanism for purchasing and redeeming fee tickets.☆28Updated 2 years ago
- Create persistent Anvil instances☆32Updated 10 months ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆31Updated last week
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆42Updated this week
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- ☆42Updated last year
- ☆29Updated 2 years ago
- ☆34Updated last year
- Proof of slashed validator inside the EVM☆20Updated last year
- Uniswap V4 Huff Hooks☆40Updated 2 years ago