Alternatives and similar repositories for deposit-sc-dafny:

Users that are interested in deposit-sc-dafny are comparing it to the libraries listed below

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 4 months ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆13Updated last month
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆46Updated this week
• ethereum / yul-isabelle
  ☆40Updated 2 years ago
• Veridise / Coda
  ☆46Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆46Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated 9 months ago
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆54Updated last month
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• Certora / Documentation
  ☆17Updated this week
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆104Updated last year
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• ghiliweld / sszb
  High Performance SSZ Implementation
  ☆12Updated 2 weeks ago
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆14Updated 10 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆42Updated last year
• zkpassport / circuits
  Noir circuits to generate proofs of valid passport
  ☆27Updated this week
• williamberman / evm-symbolic-execution
  ☆36Updated 2 years ago
• arielgabizon / Lectures
  ☆27Updated 3 months ago
• NethermindEth / awesome-preconfirmations
  ☆23Updated 7 months ago
• imapp-pl / gas-cost-estimator
  ☆49Updated this week
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 4 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆71Updated 10 months ago
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆73Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• runtimeverification / kontrol
  ☆61Updated this week