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 4 years ago
• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆48Updated last year
• sky-ecosystem / arbitrum-dai-bridge
  ☆28Updated 3 years ago
• ApeWorX / project-template
  Plugin project template for the Ape Framework
  ☆25Updated 4 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• refcell / cairopal
  Modern, Flexible Starknet Dapp Template
  ☆42Updated 3 years ago
• odyslam / starknet-node
  1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.
  ☆58Updated 3 years ago
• rhinestonewtf / safe7579
  ☆45Updated 5 months ago
• refcell / cairo-by-example
  Verbosely Documented, Minimal Starknet Contract Examples.
  ☆68Updated 3 years ago
• 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.
  ☆26Updated 4 months ago
• refcell / cairostarter
  Forkable, Minimal Template for Starknet Projects.
  ☆44Updated 4 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 3 years ago
• optimism-java / hildr
  Hildr is an OP Stack rollup client written in latest Java.
  ☆47Updated 11 months ago
• AztecProtocol / interview-tests
  ☆26Updated 10 months ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆49Updated this week
• astraly-labs / astraly-contracts
  Astraly Cairo Contracts
  ☆39Updated 3 years ago
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆114Updated last year
• Cron-Finance / Cron-Finance
  ☆19Updated 2 years ago
• jefflau / zk-identity
  ☆18Updated 4 years ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated last year
• 0xperp / awesome-blockspace
  Overview of Blockspace its demand, pricing, and trading
  ☆48Updated 3 years ago
• matter-labs / zksync-protocol
  ZKsync protocol libraries
  ☆19Updated 3 weeks ago
• tangle-network / protocol-solidity
  Cross chain shielded pool infrastructure / protocols.
  ☆37Updated last year
• z0r0z / MultiVault
  Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.
  ☆65Updated 3 years ago
• cowprotocol / composable-cow
  🐮 🧾 Composable Conditional Orders for CoW Protocol
  ☆63Updated last week
• z0r0z / v4-router
  Uniswap v4 optimized router infrastructure
  ☆50Updated 4 months ago
• succinctlabs / sp1-contract-call
  Generates zero-knowledge proofs of Ethereum smart contract execution.
  ☆41Updated last month
• FuelLabs / fuel-merkle-sol
  A Solidity implementation of binary, sum, and sparse Merkle trees
  ☆56Updated last week
• morpho-org / morpho-utils
  Repository gathering useful libraries and contracts.
  ☆64Updated 2 years ago
• Reya-Labs / voltz-core
  Core smart contracts of Voltz v1
  ☆64Updated 2 years ago