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
• 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
• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆47Updated 11 months ago
• ethereum / distributed-validator-specs
  Ethereum Distributed Validator Specifications
  ☆87Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• op-rs / 3074-invokers
  EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project
  ☆75Updated last year
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆82Updated 5 months ago
• zkBob / zkbob-contracts
  A stablecoin-based zkprotocol designed for simplicity, privacy and utility
  ☆75Updated last year
• rhinestonewtf / safe7579
  ☆45Updated 4 months ago
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆47Updated 3 years ago
• AztecProtocol / interview-tests
  ☆25Updated 8 months ago
• polyfact / cairo-resources-list
  A curated list of awesome Cairo resources, libraries, tools and more.
  ☆66Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago
• Maddiaa0 / governor-of-athens
  Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching
  ☆86Updated 3 years ago
• cowprotocol / composable-cow
  🐮 🧾 Composable Conditional Orders for CoW Protocol
  ☆62Updated 3 weeks ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆48Updated this week
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆112Updated last year
• weijiekoh / zknftmint
  ☆48Updated 2 years ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆97Updated last year
• sky-ecosystem / starknet-dai-bridge
  ☆99Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 11 months ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆79Updated last year
• refcell / cairopal
  Modern, Flexible Starknet Dapp Template
  ☆42Updated 3 years ago
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated 2 years ago
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 8 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• rhinestonewtf / modulekit
  Development Kit for building Smart Account Modules
  ☆73Updated 3 months ago
• sigp / blockprint
  DEPRECATED block fingerprinting
  ☆95Updated 3 months ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated last year
• superform-xyz / experimental-4626
  Experimental ERC4626 Extensions
  ☆52Updated last year