han0110

Han's repositories

plonkish

Language:RustMIT95 110

halo2-kzg-srs

Language:Rust30 3 2

evilink

😈 Demonstration how to manipulate VRF randomness of Chainlink

Language:TypeScriptMIT29 30

gkr

Language:RustMIT18 30

zkp-circuit-practice

ZKP Circuit Practice

Language:Rust14 40

halo2-solidity-verifier

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

Language:RustMIT700

loothunt

💰💰💰 Loothunt

Language:JavaScript6 20

snark-verifier

Language:RustApache-2.02 20

solidity-playground

Some solidity implementation

Language:Solidity2 10

solidity-vulnerability

Some famous solidity vulnerabilities with runnable test

Language:TypeScript2 30

cannon

CANNON CANNON CANNON!

Language:GoMIT1 20

halo2-snark-aggregator

halo2 ecc circuit

Language:Rust1 10

hyperplonk

Language:RustMIT1 20

Plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

Language:RustApache-2.01 10

zk-auth

Language:TypeScript1 40

zkevm-specs

100

configo

Language:GoMIT030

folding-schemes

Language:RustMIT000

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustApache-2.0010

Goldilocks

Implementation of Goldilocks and its extension fields for Halo2 traits

000

halo2

Language:RustNOASSERTION020

halo2-zk-email

Email verification circuit in halo2

Language:Rust000

halo2curves

Language:RustNOASSERTION010

halo2wrong

000

poseidon

Apache-2.0000

powdr

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

Language:RustMIT010

pqax

Language:CCC0-1.0020

wifi-ism43362

ISM43362 WiFi driver

Language:C++020

zkevm-chain

000

zkevm-circuits

Language:RustNOASSERTION020