gnark-crypto-cmd — Interactive CLI for Consensys gnark-crypto library featuring elliptic curve cryptography (BN254, BLS12-381, BLS24, BW6), zero-knowledge proof primitives, FFT/KZG/MiMC/EdDSA operations, Go code generation, benchmarks, and BibTeX citation export

Multitool soft for ZkSync Era

Multitool soft for Scroll

Library for programming zk-SNARKs directly in Python

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

some help for zksync incentive

A python version of the components of zcash zk-SNARKs - https://z.cash/technology/zksnarks

A zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) implementation in Python.

zk-SNARKs in Python

A zk-SNARK implemented in Python & Rust compatible with snarkjs

Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.

Scripts to generate Kadena ZK verifiers contracts and proof

A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.

Multitool soft for ZkSync Era

some script for zetachain

This software simplifies wallet management on the ZkSync network, providing access to a variety of features and a high level of randomization for enhanced security.

Credon is a decentralized finance (DeFi) crypto-economic protocol designed to facilitate peer-to-peer lending. It fundamentally shifts the paradigm of currency creation from a debt-backed model (traditional fiat) to a trust-backed model, where new liquidity is only minted as a direct reward for productive, reliable network activity.

Poseidon is a zk-SNARK automation tool that streamlines the entire proof lifecycle. From circuit setup to proof generation and verification; all in one command-line interface.

Supply-chain security for AI fine-tuning. This repo generates zk-SNARK proofs per gradient step, binds proving keys to TEEs, prevents rollback, and publishes audit artifacts for public replay