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

• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆41Updated 2 months ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• astraly-labs / astraly-contracts
  Astraly Cairo Contracts
  ☆39Updated 2 years ago
• Uniswap / lp-action-contracts
  ☆27Updated 2 years ago
• ribbon-finance / metavault
  Templating for meta vaults
  ☆23Updated 3 years ago
• Consensys / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated last month
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated last year
• sinasab / MergeSplitTokens
  ☆42Updated 2 years ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆38Updated this week
• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated last year
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆31Updated this week
• therealbytes / ticking-optimism
  A ticking-blockchain built on top of the Optimism Bedrock rollup architecture
  ☆23Updated 2 years ago
• 0xapriori / Suave-research
  Repository for research on Suave.
  ☆23Updated last year
• cerc-io / tx-spammer
  Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)
  ☆17Updated 7 months ago
• sudoswap / audits
  Audits for sudoswap contracts
  ☆29Updated 2 years ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated 5 months ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 2 years ago
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆26Updated 2 years ago
• emo-eth / the-circus
  Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.
  ☆30Updated last year
• emo-eth / solarray
  A blazing-fast helper library for convenient Solidity dynamic arrays
  ☆42Updated 5 months ago
• wilsoncusack / safe-singleton-deployer-sol
  ☆31Updated 9 months ago
• rhinestonewtf / safe7579
  ☆33Updated this week
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated 2 years ago
• ApeWorX / project-template
  Plugin project template for the Ape Framework
  ☆24Updated 2 months ago
• maple-labs / pool-v2
  ☆15Updated last year
• cowprotocol / cow-amm
  An automated market maker running on top of CoW Protocol
  ☆17Updated 5 months ago
• dapp-org / k-uniswap-v2
  ☆39Updated 4 years ago
• tarrencev / forge-optimism
  ☆56Updated 2 years ago
• ArrakisFinance / vault-v1-core
  ☆33Updated 2 years ago