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:
- ERC4626 Adapters of different kinds☆44Updated 7 months ago
- Plugin project template for the Ape Framework☆24Updated 2 months ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30Updated 2 years ago
- ☆17Updated 3 years ago
- Simple "commit-reveal" multisig in vyper☆24Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 2 years ago
- Vyper contracts to Fortune Reading contracts. Exploring Randomness to avoid MEV.☆12Updated 2 years ago
- Modern, Flexible Starknet Dapp Template☆42Updated 3 years ago
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆43Updated this week
- A fast & reliable transaction relaying API for web3 projects like Games, Bridges, NFT marketplaces and many more☆35Updated 4 months ago
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆67Updated 3 years ago
- Releases of the Vyper compiler for ZKsync.☆28Updated last week
- ☆16Updated last month
- A test repository for Forge coverage☆35Updated 2 years ago
- 🐮 🧾 Composable Conditional Orders for CoW Protocol☆55Updated last month
- 💧 Drips Protocol Smart Contracts☆68Updated this week
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆39Updated last year
- Quick start. Starter kit with Foundry to deploy your own smart contract that verifies unique-humanness with World ID.☆32Updated last year
- ☆11Updated 2 years ago
- Ethereum end-to-end test harness☆35Updated last year
- ☀️ SUAVE Alpha Protocol Specifications☆38Updated 9 months ago
- The most gas optimized ERC-4337 account - written in Huff☆45Updated last year
- Adapter contract to resolve Polymarket prediction markets via UMA's Optimistic Oracle.☆56Updated last week
- An alternative UI for squeeths☆28Updated 8 months ago
- buys yfi at current price☆41Updated 3 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Configuration and scripts for running Astria☆21Updated 11 months ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- jsonschema rpc spec of eip 4337 (account abstraction) bundler☆35Updated 4 months ago