han0110

Han's repositories

plonkish

Language:RustMIT107 11 1

halo2-kzg-srs

Language:Rust33 3 2

gkr

Language:RustMIT20 30

halo2-solidity-verifier

A set of tooling related to halo2 circuits verification inside Solidity contracts

Language:RustMIT7 10

bench-hash-in-snark

Language:Rust6 10

hash-sig-agg

Language:Rust600

bench-ntt

Language:Rust2 10

learn-fhe

Language:Rust2 30

snark-verifier

Language:RustApache-2.02 20

gkr-study

Language:PythonMIT100

hyperplonk

Language:RustMIT1 20

learn-zkp

Language:Rust100

Plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

Language:RustApache-2.01 10

folding-schemes

Language:RustMIT010

Goldilocks

Implementation of Goldilocks and its extension fields for Halo2 traits

Language:Rust010

halo2

Language:RustNOASSERTION020

halo2-zk-email

Email verification circuit in halo2

Language:Rust010

halo2curves

Language:RustNOASSERTION010

halo2wrong

Language:Rust010

hash-sig

Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

Language:RustApache-2.0000

hashcaster

Frobenius sumcheck for vectorized boolean ops

Language:RustApache-2.0000

haunted

Generic backend to host your phantom-zone

000

p3-playground

Language:Rust000

phantom-zone

Language:RustMIT000

poseidon

Apache-2.0000

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Language:RustMIT010

spqlios-automorphism-bench

Language:C++AGPL-3.0010

stark-backend

Proof system backends for OpenVM.

MIT000

stwo

Apache-2.0000

zkevm-circuits

Language:RustNOASSERTION010