Soowon Jeong's repositories
Language:AstroMIT000
Language:Python000
circom
zkSnark circuit compiler
Language:WebAssemblyGPL-3.0000
Language:Rust000
CS206-DataStructure
2017-fall
Language:Python000
CS300-Algorithms
2018-spring
Language:Python000
CS311-ComputerOrganization
2018-fall
Language:Assembly000
Language:Python000
CS320-PL
2018-spring
Language:Racket000
CS330-OS
in progress
Language:C000
fe
Emerging smart contract language for the Ethereum blockchain.
Language:RustNOASSERTION000
Language:Ruby000
Kotrix
Kotlin matrix class which supports determinant, inverse matrix, matmul, etc.
Language:KotlinNOASSERTION000
mimc-rs
MiMC hash function
Language:RustGPL-3.0000
Nova
Nova: Recursive SNARKs without trusted setup
Language:RustMIT000
Language:Jupyter NotebookGPL-3.0000
Language:RustApache-2.0000
vstf.dev
A Framework for Verifiable State Transition Functions
Language:RustGPL-3.0000
zeropool-utils
R1CS binary file format parser/serializer in rust
Language:RustApache-2.0000
Language:Rust000
Language:RustNOASSERTION000
Language:Python000