Highlights
- Pro
Starred repositories
Concrete: TFHE Compiler that converts python programs into FHE equivalent
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Ancillary open source software to support confidential computing on NVIDIA GPUs
arkworks-rs / spartan
Forked from microsoft/SpartanSpartan on Arkworks
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).
Interfaces for Relations and SNARKs for these relations
A curated list of awesome ZK resources, libraries, tools and more.
a merk fork based on v0.2.1 to support range-based quires
Official Implementation of Findora Network.
Noah is a library that provide tools to create and verify public transaction with confidential data.
qchateau / rpclib
Forked from rpclib/rpclibrpclib is a modern C++ msgpack-RPC server and client library
A hacked tweak of the DnD 5e ruleset to support a custom pen and paper RPG ruleset for VTT.
SageMath library for constructing elliptic curves
The Illustrated TLS 1.3 Connection: Every byte explained
Experiments with Universal Composability in EasyCrypt
Corruption and Perturbation Robustness (ICLR 2019)
simulation code for bitcoin gossip network, 261 class project