sarvalabs / cocolang-examples
A collection of example modules for the Coco Programming Language
☆14Updated 4 months ago
Related projects: ⓘ
- The Official Cocolang Extension for Visual Studio Code☆14Updated 3 weeks ago
- A collection of examples for building with the MOI JavaScript SDK☆13Updated 4 months ago
- JavaScript library to interact with MOI Protocol via RPC API☆23Updated this week
- Go Implementation of the POLO Serialization Scheme☆17Updated last month
- Overview of the formal verification projects in the Ethereum ecosystem.☆317Updated 9 months ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆163Updated 2 years ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆110Updated 4 years ago
- symbolic EVM evaluator☆227Updated this week
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆269Updated this week
- Smart contract specification language☆215Updated this week
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆70Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆92Updated last year
- Introduction to Zero Knowledge Proof☆239Updated 2 years ago
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- A binary lifter and analysis framework for Ethereum smart contracts☆296Updated this week
- An EVM interpreter in Dafny☆124Updated last month
- Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.☆144Updated 10 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆126Updated last year
- https://medium.com/@andrej.rakic/100-blockchain-resources-for-developers-4b4f81e731a3☆30Updated 4 months ago
- Scribble instrumentation tool☆313Updated 3 weeks ago
- Fourth cohort of Ethereum Protocol Fellowship☆197Updated 3 months ago
- This is the markdown for the ZK Book☆60Updated last week
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆290Updated last week
- Collection of security reviews of ZK Protocols☆210Updated 3 weeks ago
- An Awesome List for resources on the foundations of Decentralized Finance (DeFi)☆216Updated last year
- ☆24Updated 4 months ago
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆483Updated last month
- Miner extractable value modeling and tools.☆65Updated 3 years ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆301Updated 10 months ago