Tools

snarkscircomstarkssemaphoreall

Slither


Slither is a solidity static analysis framework. It runs a suite of vulnerability detectors, and provides an API to easily write custom analyses.


MythX


It is the premier security analysis service for Ethereum smart contracts. Used to avoid costly errors and make Ethereum a more secure and trustworthy platform.


Mythril


Mythril is a security analysis tool for EVM bytecode. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities.


Echidna


, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts.


Manticore


Manticore is a symbolic execution tool for analysis of smart contracts and binaries.


snarkjs


This is a JavaScript and Pure Web Assembly implementation of zkSNARK and PLONK schemes.


circomlib


This repository contains a library of circuit templates.


circom


It is domain-specific language for defining arithmetic circuits that can be used to generate zk proofs.


wasmsnark


A fast zkSnark proof and verifier and proof generator written in native Web Assembly.


go-iden3-crypto


Go implementation of some cryptographic primitives (that fit inside the SNARK field) used in iden3.


Prover Server


Prover Server is a REST API wrapper & golang binding for snarkjs .


ffjavascript


Finite field library in javascript.


merkletree-proof


Merkletree proof generation/validation based on reverse hash service


circom tester


Tool for testing circom circuits.


Mina zkApp cli


The Mina zkApp CLI allows you to scaffold, write, test, & deploy zkApps ("zero-knowledge apps") for Mina Protocol using recommended best practices.


SnarkyJS


A typeScript framework for writing zero-knowledge proof-based smart contracts, which is included by default in projects created using Mina zkApp CLI.


Cairo


Cairo is the first production-grade platform for generating validity proofs for general computation.


Semaphore


A privacy gadget for creating anonymous proof of membership on Ethereum.


ZK protocols


Client library for generating and verifying Semaphore & RLN ZK proofs.


ZK identities


Library for managing identities for Semaphore and RLN protocols.


ZK Kit


A monorepo of reusable JS libraries for zero-knowledge technologies.


Minimal Anti-Collusion Infrastructure



Aztec's SDK


Aztec's SDK is the gateway for developers to access the Aztec network.


Noir


ZK-SNARK programming language by Aztec, support fully programmable privacy-preserving smart contracts.


zkblock


zk dapp bolierplate and tools to develop zk dapps.


Lurk


Lurk is an in-development programming language for Turing-complete recursive SNARKs.


Shield


SHIELD is a development framework for circom developers. SHIELD is a tool to provide libraries, plugins, and testing tools to ensure code quality and security.


Tools for zero knowledge proofs, smart contracts, ethereum (& L2), web3 apps and cryptography.

© zkblock.app