Jasleen1

winter_fractal

arithmetization_benchmarks

HoneyBadgerMPC

Robust MPC-based confidentiality layer for blockchains

xjsnark

A high-level framework for developing efficient zk-SNARK circuits

akd

An implementation of the SEEMless protocol

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

circomlib

Library of basic circuits for circom

CS6831-Spring2019

Designing Secure Cryptography

CSPRNG

A small C & C++ library to use the OS's Crytpgraphically Secure Pseudo-Random Number Generator

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

ed25519-zebra

Zcash-flavored Ed25519 for use in Zebra.

emp-tool

FuzzyMatching-1

halo2

hashwires

HashWires is a range proof system for credentials issued by a trusted third party.

jsnark

A Java library for writing circuits/constraint systems for zk-SNARKs.

libsnark

libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]

MP-SPDZ

Multiparty computation with SPDZ and MASCOT offline phase

noir-cfg

SaUCy

The modular protocol framework based on Universal Composability

snarkOS

A Decentralized Operating System for Private Applications

spring-2015

Public Resources for Spring 2015's Logic for Hackers Offering

stark-examples

tb_code

tutorial_example

winterfell

A STARK prover and verifier for arbitrary computations

zkinterface

zkInterface is a protocol for the interoperability of zero-knowledge frameworks.