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

• ApeWorX / project-template
  Plugin project template for the Ape Framework
  ☆25Updated 3 weeks ago
• fvictorio / zk-nft
  ☆17Updated 3 years ago
• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆45Updated 9 months ago
• weijiekoh / zknftmint
  ☆48Updated 2 years ago
• erc6900 / resources
  ☆19Updated last year
• astraly-labs / astraly-contracts
  Astraly Cairo Contracts
  ☆39Updated 2 years ago
• cowprotocol / composable-cow
  🐮 🧾 Composable Conditional Orders for CoW Protocol
  ☆58Updated last week
• op-rs / 3074-invokers
  EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project
  ☆76Updated last year
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated 11 months ago
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated 2 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆87Updated 2 years ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆96Updated 11 months ago
• debtdao / Line-of-Credit
  ☆34Updated 2 years ago
• AztecProtocol / interview-tests
  ☆25Updated 6 months ago
• gnosisguild / zodiac-guard-scope
  A transaction guard that allows the owner to limit the multisig signers to calling specific function signatures on specific contracts.
  ☆44Updated last year
• worldcoin / world-id-example-airdrop
  World ID Example. Create an airdrop of ERC-20 tokens that can only be claimed once by a single human. Completely privacy preserving.
  ☆24Updated 3 weeks ago
• morpho-org / morpho-data-structures
  Data structures tested and used by the Morpho Protocol.
  ☆114Updated 9 months ago
• pooltogether / ERC5164
  EIP-5164 implementation
  ☆30Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• erc7579 / smartsessions
  ☆51Updated last month
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆113Updated last year
• flashbots / mpc-backrun
  Proof-of-concept code for backrunning private transactions using MPC.
  ☆64Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated 2 years ago
• delvtech / hyperdrive
  An automated market maker for fixed and variable yield with on-demand terms.
  ☆44Updated 6 months ago
• OpenZeppelin / openzeppelin-relayer
  OpenZeppelin Relayer
  ☆93Updated this week
• fei-protocol / flywheel-v2
  General Token Incentives Infrastructure
  ☆69Updated last year
• sky-ecosystem / arbitrum-dai-bridge
  ☆28Updated 3 years ago
• rhinestonewtf / modulekit
  Development Kit for building Smart Account Modules
  ☆73Updated last month
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year