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.