Giters
Han (han0110)

han0110

Geek Repo

224

followers

305

following

2k

stars

Location:Taiwan

Github PK Tool:Github PK Tool

Han's starred repositories

phantom-zone

Language:RustLicense:MITStargazers:19Issues:0Issues:0

HelloSilicon

An introduction to ARM64 assembly on Apple Silicon Macs

Language:AssemblyLicense:MITStargazers:4202Issues:0Issues:0

Expander-rs

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

Language:RustLicense:AGPL-3.0Stargazers:44Issues:0Issues:0

zkboogie-client-bench

A benchmark website for client-side proving with zkboogie

Language:TypeScriptStargazers:6Issues:0Issues:0

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

Language:TeXStargazers:129Issues:0Issues:0

Expander

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

Language:C++License:AGPL-3.0Stargazers:66Issues:0Issues:0

zkboogie

Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.

Language:RustLicense:MITStargazers:10Issues:0Issues:0

CuEVM

Cuda implementation of EVM bytecode executor

Language:CudaLicense:MITStargazers:75Issues:0Issues:0

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Language:SystemVerilogStargazers:6724Issues:0Issues:0

zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

Language:RustStargazers:46Issues:0Issues:0

space-efficient-sumcheck

Language:RustLicense:Apache-2.0Stargazers:26Issues:0Issues:0

ccls

circom language server

Language:RustLicense:MITStargazers:15Issues:0Issues:0

stir

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

Language:RustLicense:Apache-2.0Stargazers:33Issues:0Issues:0

stwo

Language:RustLicense:Apache-2.0Stargazers:184Issues:0Issues:0

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Language:RustLicense:Apache-2.0Stargazers:630Issues:0Issues:0

Scalable-Collaborative-zkSNARK

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

Language:RustLicense:MITStargazers:34Issues:0Issues:0

sp1

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

Language:RustLicense:Apache-2.0Stargazers:827Issues:0Issues:0

binius

A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)

Language:RustLicense:Apache-2.0Stargazers:37Issues:0Issues:0

plonkish_basefold

Language:RustLicense:MITStargazers:22Issues:0Issues:0

cyclone-msm-expreriment

Language:RustStargazers:10Issues:0Issues:0

grug-wallet

A web3 wallet for Grug, by Grug.

Language:JavaScriptLicense:MITStargazers:94Issues:0Issues:0

Goldilocks

Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits

Language:RustStargazers:5Issues:0Issues:0

rapidsnark

rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.

Language:C++License:GPL-3.0Stargazers:46Issues:0Issues:0

witness-encryption-functional-commitment

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

Language:RustLicense:MITStargazers:18Issues:0Issues:0

pianist-gnark

The implementation of Pianist (a distributed variant of Plonk) based on gnark.

Language:GoLicense:Apache-2.0Stargazers:24Issues:0Issues:0

finite-fields

Experimental finite field primitives (and maybe more)

Language:NimStargazers:10Issues:0Issues:0

protostar

Language:RustLicense:NOASSERTIONStargazers:48Issues:0Issues:0

rfcs

RFCs for changes to zkcrypto crates

Language:PythonLicense:Apache-2.0Stargazers:4Issues:0Issues:0

mv-lookup-benchmark

Language:RustStargazers:2Issues:0Issues:0

sirius

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

Language:RustLicense:MITStargazers:111Issues:0Issues:0