Consensys / distributed-validator-formal-specs-and-verificationLinks
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs
☆16Updated 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:
- ☆17Updated 3 years ago
- ERC4626 Adapters of different kinds☆46Updated 10 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Core smart contracts of Voltz v1☆64Updated last year
- World ID Example. Create an airdrop of ERC-20 tokens that can only be claimed once by a single human. Completely privacy preserving.☆25Updated last month
- Smart contracts for the Telepathy protocol☆79Updated last year
- Modern, Flexible Starknet Dapp Template☆42Updated 3 years ago
- ☆34Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.☆69Updated 3 years ago
- ☆41Updated 2 years ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆77Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆113Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- Timeless is a yield tokenization protocol that offers Perpetual Yield Tokens.☆40Updated 3 years ago
- Contracts for EthML- a decentralized AI implementation☆24Updated 3 years ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆43Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆42Updated 2 years ago
- ☆33Updated 3 years ago
- Cross chain call library for Solidity☆81Updated 3 years ago
- ☆25Updated 7 months ago
- ☆48Updated 2 years ago
- EIP-5164 implementation☆31Updated last year
- A stablecoin-based zkprotocol designed for simplicity, privacy and utility☆75Updated last year
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Updated 3 weeks ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆65Updated 3 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Updated 3 years ago
- Development Kit for building Smart Account Modules☆73Updated 2 months ago
- ☆82Updated 2 years ago
- Solidity source debugger built around EthereumJS☆25Updated last week