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
• 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.
  ☆23Updated 2 months ago
• ApeWorX / project-template
  Plugin project template for the Ape Framework
  ☆25Updated 3 months ago
• superform-xyz / super-vaults
  ERC4626 Adapters of different kinds
  ☆45Updated 8 months ago
• refcell / cairopal
  Modern, Flexible Starknet Dapp Template
  ☆42Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• debtdao / Line-of-Credit
  ☆34Updated 2 years ago
• fei-protocol / flywheel-v2
  General Token Incentives Infrastructure
  ☆69Updated last year
• ankitchiplunkar / cairo-jupyter
  Jupyter kernel for Cairo smart contract language
  ☆32Updated 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
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆78Updated last year
• Reya-Labs / voltz-core
  Core smart contracts of Voltz v1
  ☆64Updated last year
• refcell / cairo-by-example
  Verbosely Documented, Minimal Starknet Contract Examples.
  ☆66Updated 3 years ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• AlexCheema / Tanuki
  A trustless wallet scoring protocol
  ☆20Updated last year
• polyfact / cairo-resources-list
  A curated list of awesome Cairo resources, libraries, tools and more.
  ☆66Updated 2 years ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆96Updated 10 months ago
• a16z / halmos-cheatcodes
  ☆69Updated 2 months ago
• botdad / arbirps
  On chain rock paper scissors game using zero knowledge proofs for hiding plays
  ☆68Updated 3 years ago
• tangle-network / protocol-solidity
  Cross chain shielded pool infrastructure / protocols.
  ☆36Updated 11 months ago
• partylikeits1983 / num-complex-solidity
  Complex numbers for Solidity
  ☆53Updated last year
• cowprotocol / composable-cow
  🐮 🧾 Composable Conditional Orders for CoW Protocol
  ☆56Updated this week
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆114Updated last year
• op-rs / 3074-invokers
  EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project
  ☆76Updated last year
• rhinestonewtf / safe7579
  ☆43Updated 3 weeks ago
• euler-xyz / euler-oracle-tools
  ☆34Updated 2 years ago
• odyslam / starknet-node
  1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.
  ☆58Updated 3 years ago
• delvtech / hyperdrive
  An automated market maker for fixed and variable yield with on-demand terms.
  ☆43Updated 5 months ago
• dapp-org / k-uniswap-v2
  ☆41Updated 5 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago