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

• fvictorio / zk-nft
  ☆17Updated 3 years ago
• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆45Updated 9 months ago
• ApeWorX / project-template
  Plugin project template for the Ape Framework
  ☆25Updated last week
• 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 last week
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆87Updated 2 years ago
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 2 years ago
• jefflau / zk-identity
  ☆19Updated 3 years ago
• flashbots / mpc-backrun
  Proof-of-concept code for backrunning private transactions using MPC.
  ☆64Updated 2 years ago
• rhinestonewtf / modulekit
  Development Kit for building Smart Account Modules
  ☆71Updated last month
• weijiekoh / zknftmint
  ☆48Updated 2 years ago
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆113Updated last year
• polyfact / cairo-resources-list
  A curated list of awesome Cairo resources, libraries, tools and more.
  ☆66Updated 2 years ago
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆80Updated 2 months ago
• AztecProtocol / interview-tests
  ☆25Updated 6 months ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆43Updated this week
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• rhinestonewtf / awesome-modular-accounts
  📖 A curated list of resources dedicated to Modular Smart Accounts
  ☆76Updated last year
• botdad / arbirps
  On chain rock paper scissors game using zero knowledge proofs for hiding plays
  ☆68Updated 3 years ago
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆80Updated 3 months ago
• morpho-org / morpho-data-structures
  Data structures tested and used by the Morpho Protocol.
  ☆114Updated 8 months ago
• OpenZeppelin / openzeppelin-relayer
  OpenZeppelin Relayer
  ☆86Updated this week
• op-rs / 3074-invokers
  EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project
  ☆76Updated last year
• candidelabs / candide-contracts
  Account Abstraction smart contract accounts, modules, audits, tests, and formal verification
  ☆78Updated 6 months ago
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆77Updated 2 years ago
• erc7579 / smartsessions
  ☆50Updated last month
• AlexCheema / Tanuki
  A trustless wallet scoring protocol
  ☆20Updated last year
• 0xMisaka / Sol-MagicCounter
  ☆93Updated 3 years ago
• cowprotocol / composable-cow
  🐮 🧾 Composable Conditional Orders for CoW Protocol
  ☆58Updated 3 weeks ago
• saucepoint / super-ERC4626-example
  Experimental hybrid/cross-chain ERC4626 vaults
  ☆52Updated 2 years ago
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆66Updated 3 weeks ago