DoHoonKim8

Mathematics & Computer Science

@ethereum

Pinned Repositories

AppliedCryptography
Learning Applied Cryptography & ZK proof
10
DoHoonKim
1 1 00
EduBFM
Language:C00
EduBtM
Language:C0 1 01
evm-verifier
evm-verifier
Language:Rust2 1 10
halo2-lasso
Benchmark for adding Lasso lookup argument to halo2 backend
Language:Rust27 3 114
mv-lookup-benchmark
Language:Rust2 2 00
plonkish
Language:Rust20
stark-verifier
Language:Rust44 1 66
zkevm-circuits
Language:Rust820 39 740848

DoHoonKim8's Repositories

DoHoonKim8/stark-verifier
Language:Rust44 1 66
DoHoonKim8/halo2-lasso
Benchmark for adding Lasso lookup argument to halo2 backend
Language:Rust27 3 114
DoHoonKim8/evm-verifier
evm-verifier
Language:Rust2 1 10
DoHoonKim8/mv-lookup-benchmark
Language:Rust2 2 00
DoHoonKim8/plonkish
Language:Rust20
DoHoonKim8/AppliedCryptography
Learning Applied Cryptography & ZK proof
10
DoHoonKim8/DoHoonKim
1 1 00
DoHoonKim8/EduBFM
Language:C00
DoHoonKim8/EduBtM
Language:C0 1 01
DoHoonKim8/EduOM
Language:C00
DoHoonKim8/plonk-verifier
Language:Rust00
DoHoonKim8/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
DoHoonKim8/halo2curves
Language:Rust0 01
DoHoonKim8/halo2wrong
Language:Rust
DoHoonKim8/math_notes
Collection of math study notes
1 0
DoHoonKim8/multifolding-poc
A PoC repo for a HyperNova impl
DoHoonKim8/N
Language:OCaml1 0
DoHoonKim8/plonk_tutorial
DoHoonKim8/plonky2
Language:Rust
DoHoonKim8/poseidon
Language:Rust0 0
DoHoonKim8/PS
종만북 스터디
Language:C++1 2
DoHoonKim8/scroll-halo2
DoHoonKim8/smtlib-rs
A high-level API for interacting with SMT solvers.
DoHoonKim8/snarkjs
zkSNARK implementation in JavaScript & WASM
Language:JavaScript0 0
DoHoonKim8/Why-DBMS-Test
Language:C++
DoHoonKim8/zkevm-circuits
Language:Rust0 0
DoHoonKim8/zkevm-specs
Language:Python