Secure SGX Sidecar for CosmWasm

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Circom interpreter to arithmetic circuit description

Fully Homomorphic Encryption library in Rust

A workshop to get familiar with the mpz library

A Privacy-Preserving Framework Based on TensorFlow

Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.

zkSNARKs as a service using secure multi-party computation.

An Extension to read and compare P3P templates on websites you visit

Ether, but burnt 🔥🌪️

💫 ETH-XMR atomic swap implementation

A STARK-based VM focused on code reuse, performance, and modularity

TBD

Implementations from Proofs, Arguments and Zero Knowledge

RFCs for changes to zkcrypto crates

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Based on https://eprint.iacr.org/2022/1510

Super Amazing Universal Composability, Yeah!

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Multi-party computation libraries written in Rust 🦀

Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-ca…

Prototype implementations of various Collaborative zkSNARKs.