Protected Instant Verified Transactions - Core wallet.

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Example project for EthSnarks - Miximus coin mixer

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

Circuit components definition library for zkLLVM circuit compiler

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.

Learning ZkSNARKs using libsnark

General purpose aggregator using recursive composition of SNARKs: https://arxiv.org/abs/2008.05958

A bunch of "hello world" libsnark gadgets

Severance is a privacy contract for EOS/Antelope powered blockchains that was build to prove the implementation feasibility of a zkSNARKs system running entirely on-chain, written in C++.

Zclassic is financial freedom.

Block Qualified - Verify your credentials by solving multiple choice tests directly on-chain. Powered by ZK-SNARKS

My implementation zk-rollup uses ethsnarks toolkits.

Refactor of the Pinocchio toolchain from MSR

Bitcoin Private is a (Bitcoin+Zclassic) fork which uses zk-SNARK technology for privacy and fungibility.

PLONK Verification circuit for lagrange interpolation

C++ library for zkSNARKs

Filecoin C++ Proofs Implementation based on =nil; Crypto3 C++ Cryptography Suite

Custom fork of public libsnark (used in ZKP-Benchmarker)

Trustless DID Credential Verification Scheme