Pinned Repositories
2024.ethcon.kr
abstractmachine
gkr
zero knowledge proof aggregator for general circuit
halo2-holdem
lir
Lookup-only IR
pintos
pintos OS
plonkish
maze
Multi proof Aggregation for Zk SNARK on Ethereum
zkevm-circuits
zkevm-specs
jeong0982's Repositories
jeong0982/gkr
zero knowledge proof aggregator for general circuit
jeong0982/lir
Lookup-only IR
jeong0982/halo2-holdem
jeong0982/pintos
pintos OS
jeong0982/plonkish
jeong0982/2024.ethcon.kr
jeong0982/abstractmachine
jeong0982/circom
zkSnark circuit compiler
jeong0982/cq
jeong0982/CS206-DataStructure
2017-fall
jeong0982/CS300-Algorithms
2018-spring
jeong0982/CS311-ComputerOrganization
2018-fall
jeong0982/genetic_CIT
jeong0982/CS320-PL
2018-spring
jeong0982/CS330-OS
in progress
jeong0982/DPLL
jeong0982/fe
Emerging smart contract language for the Ethereum blockchain.
jeong0982/kaist-cp.github.io
jeong0982/Kotrix
Kotlin matrix class which supports determinant, inverse matrix, matmul, etc.
jeong0982/mimc-rs
MiMC hash function
jeong0982/Nova
Nova: Recursive SNARKs without trusted setup
jeong0982/plonk_tutorial
jeong0982/snark-verifier
jeong0982/vstf.dev
A Framework for Verifiable State Transition Functions
jeong0982/zeropool-utils
R1CS binary file format parser/serializer in rust
jeong0982/zkdsl-wip
jeong0982/zkevm-circuits
jeong0982/zkevm-specs