dreamATD

Tianyi Liu's starred repositories

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Language:DockerfileUnlicense65446 396 657

HowToLiveLonger

程序员延寿指南 | A programmer's guide to live longer

Unlicense29592 230 128

OI-wiki

:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

Language:TypeScript19867 202 985

docker-wechat

DoChat is a Dockerized WeChat (盒装微信) PC Windows Client for Linux

Language:ShellApache-2.02230 36 188

isolate

Sandbox for securely executing untrusted programs

Language:CNOASSERTION1059 36 129

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Language:RustNOASSERTION850 20 99

sp1

A performant, 100% open-source, contributor-friendly zkVM.

Language:RustApache-2.0839 36 83

ingopedia

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

MIT689 16 11

Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language:RustMIT656 17 36

mcl

a portable and fast pairing-based cryptography library

Language:C++BSD-3-Clause453 21 156

OnlineJudge

:sparkles: Open source online judge system (based on Microservice). SDUOJ 开源在线评测系统（基于微服务架构）。开源社区QQ群 808751832

Language:JavaAGPL-3.0417 8 8

marlin

A Rust library for the Marlin preprocessing zkSNARK

Language:RustApache-2.0307 22 22

icicle

a GPU Library for Zero-Knowledge Acceleration

Language:C++MIT303 14 168

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Language:RustNOASSERTION287 17 36

sige

[NeurIPS 2022, T-PAMI 2023] Efficient Spatially Sparse Inference for Conditional GANs and Diffusion Models

Language:PythonNOASSERTION253 5 2

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

Language:TeX133 6 4

sirius

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

Language:RustMIT112 7 87

ed25519-circom

ED25519 implementation in Circom

Language:JavaScript105 7 16

ZEN

zero knowledge proof for NN inference

Language:Rust77 4 7

zkCNN

A GKR-based zero-knowledge proof protocol for CNN model inference.

Language:C++MIT68 3 3

Expander

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

Language:C++AGPL-3.065 5 3

zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

Language:Rust46 6 1

Docker-WeChat

Run WeChat Using Docker

Language:DockerfileMIT35 2 13

stir

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

Language:RustApache-2.03400

zkDL

zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA

Language:CudaBSD-2-Clause27 20

zkllm-ccs2024

Language:CudaBSD-2-Clause23 1 2

virgo-plus

An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.

Language:C++MIT14 1 2

origami

[wip] implementing origami VDF

Language:Rust13 30

ZKDT_release

Language:C++12 10

hyrax-bls12-381

A polynomial commitment implementation of Hyrax based on BLS12-381 elliptic curve.

Language:C++3 20