weikengchen

awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.

robustness

Corruption and Perturbation Robustness (ICLR 2019)

illustrated-tls13

The Illustrated TLS 1.3 Connection: Every byte explained

snark

Interfaces for Relations and SNARKs for these relations

bin

Effortless binary manager

hackergame2018-writeups

Write-ups for hackergame 2018

nvtrust

Ancillary open source software to support confidential computing on NVIDIA GPUs

zmsg

A small program for sending messages via zcash encrypted memo fields

noah

Noah is a library that provide tools to create and verify public transaction with confidential data.

gemini

An elastic proof system based on arkworks

platform

Official Implementation of Findora Network.

simplepir

The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).

ecfactory

SageMath library for constructing elliptic curves

spartan

Spartan on Arkworks

EasyUC

Experiments with Universal Composability in EasyCrypt

rpclib

rpclib is a modern C++ msgpack-RPC server and client library

EasyTeach

Examples for EasyCrypt Lectures

storage

A sessioned Merkle key/value store

eccons

elliptic curve construction tool

emp-pvc

merk

a merk fork based on v0.2.1 to support range-based quires

dropper_shop

投掷器商店插件

mage-scripts

Benchmarking scripts for MAGE

Arcane-Art

merkle

Orion

e20-vtt

A hacked tweak of the DnD 5e ruleset to support a custom pen and paper RPG ruleset for VTT.

obliv_bucketization

261-project

simulation code for bitcoin gossip network, 261 class project

OrionLinearPC