Consensys / distributed-validator-formal-specs-and-verification
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs
☆15Updated 10 months ago
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:
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- ☆36Updated 5 months ago
- Templating for meta vaults☆23Updated 3 years ago
- ☆19Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆26Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Astraly Cairo Contracts☆39Updated 2 years ago
- Ethereum end-to-end test harness☆35Updated last year
- ☆26Updated 2 years ago
- establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time☆41Updated this week
- jsonschema rpc spec of eip 4337 (account abstraction) bundler☆34Updated 2 months ago
- A set of Solidity libraries & contracts shared across the LooksRare ecosystem☆42Updated 7 months ago
- ☆28Updated 2 years ago
- Instant web3 publications for writers, DAOs, and any Ethereum-based account.☆29Updated 11 months ago
- Timeless is a yield tokenization protocol that offers Perpetual Yield Tokens.☆40Updated 2 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 8 months ago
- ERC4626 Adapters of different kinds☆43Updated 5 months ago
- ☆33Updated 2 years ago
- EIP-5164 implementation☆30Updated last year
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- A transaction guard that allows the owner to limit the multisig signers to calling specific function signatures on specific contracts.☆42Updated last year
- Variable Rate Gradual Dutch Auctions with Martingale Price Correction.☆37Updated 2 years ago
- ☆17Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 8 months ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated last year
- ☆39Updated last year
- ☆11Updated last month
- ☆17Updated 3 years ago