A Python implementation of Garbled Circuits MPC protocol

Multi-party computation libraries written in Rust 🦀

A framework for SPDZ-style maliciously-secure MPC.

Verifiable FHE with GKR

Concrete: TFHE Compiler that converts python programs into FHE equivalent

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

A python notebook to explain how Plonky3 underlying works

This repository contains Zk learning resources

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.

Arkworks made simple for us: the non cryptographer software plumbers

Aggregator for amazing ZKML resources

STARK 101 Workshop in Rust 🐺🦀

A repo for our research papers ❤️

Convert PDF to markdown + JSON quickly with high accuracy

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Middleware to compile Circom circuits to Nova prover

Basic scaffolding for setting up and writing a Halo2 ZK circuit

Smart Contract Vulnerabilities

Blockchain Security Researcher

Tutorial for STARKs with supporting code in python

List of resources and links that are relevant

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.