Alternatives and similar repositories for cocolang-examples

Users that are interested in cocolang-examples are comparing it to the libraries listed below

• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆331Updated 5 months ago
• Certora / CertoraProver
  The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…
  ☆236Updated last week
• johnsonstephan / awesome-web3-formal-verification
  A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
  ☆27Updated last year
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated 2 years ago
• odradev / awesome-zero-knowledge
  A curated list of Zero Knowledge links, mostly focusing on blockchain.
  ☆344Updated 2 weeks ago
• zkml-community / awesome-zkml
  Aggregator for amazing ZKML resources
  ☆407Updated last year
• Consensys / qbft-formal-spec-and-verification
  ☆11Updated last year
• zigtur / Rareskills-ZK-book
  My work for Rareskills ZK Book.
  ☆61Updated last year
• parasol-aser / vrust-open-source
  Automated Vulnerability Detection for Solana Smart Contracts
  ☆32Updated last year
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆124Updated 2 years ago
• RUB-SysSec / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆107Updated 2 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 3 months ago
• ingonyama-zk / ingopedia
  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
  ☆725Updated 2 months ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆73Updated last month
• zksecurity / zkBank
  zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
  ☆184Updated last year
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆131Updated 10 months ago
• RareSkills / zero-knowledge-puzzles
  Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
  ☆316Updated 5 months ago
• RareSkills / zk-book
  This is the markdown for the ZK Book
  ☆103Updated this week
• argotorg / act
  Smart contract specification language
  ☆247Updated last week
• sCrypt-Inc / awesome-zero-knowledge-proofs
  A curated list of awesome Zero-Knowledge Proofs (ZKP) resources.
  ☆321Updated 3 months ago
• jeffchen006 / OpenTracer
  An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
  ☆44Updated 2 months ago
• blocsoc-iitd / zkbootcamp
  ☆13Updated 6 months ago
• jplaui / web3knowledge
  A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.
  ☆70Updated last year
• Quillhash / Zero-Knowledge-Mastery
  This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you …
  ☆250Updated 5 months ago
• 0xPARC / circom-ecdsa
  Big integer arithmetic and secp256k1 ECC operations in circom
  ☆333Updated last year
• cavaunpeu / solsim
  The Solana complex systems simulator.
  ☆16Updated 3 years ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆317Updated 7 months ago
• enricobottazzi / ZKverse
  Introduction to Zero Knowledge Proof
  ☆245Updated 9 months ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆254Updated last month
• argotorg / hevm
  Symbolic and concrete EVM execution engine
  ☆311Updated this week