dreamATD
A PhD student researching on practical ZKP.
University of Illinois at Urbana-ChampaignUrbana, IL
Pinned Repositories
binius
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
dreamATD.github.io
Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
MastarCpler
A compiler for a C-like language with ANTLR 4 as the parser.
pianist-gnark
The implementation of Pianist (a distributed variant of Plonk) based on gnark.
pianist-gnark-crypto
The implementation of distributed kzg (used in Pianist) based on gnark-crypto.
SOPHIE
This is the implementation for my bachelor thesis about an improvement for CKKS based on CIS.
TomRiVer-CPU
A cpu using Tomasulo‘s algorithm and risc-v instruction set.
virgo-plus
An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
zkCNN
A GKR-based zero-knowledge proof protocol for CNN model inference.
dreamATD's Repositories
dreamATD/pianist-gnark
The implementation of Pianist (a distributed variant of Plonk) based on gnark.
dreamATD/pianist-gnark-crypto
The implementation of distributed kzg (used in Pianist) based on gnark-crypto.
dreamATD/SOPHIE
This is the implementation for my bachelor thesis about an improvement for CKKS based on CIS.
dreamATD/TomRiVer-CPU
A cpu using Tomasulo‘s algorithm and risc-v instruction set.
dreamATD/binius
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
dreamATD/dreamATD.github.io
dreamATD/MastarCpler
A compiler for a C-like language with ANTLR 4 as the parser.
dreamATD/Expander
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
dreamATD/HowToCook
程序员在家做饭方法指南。
dreamATD/hw-rails-intro
dreamATD/hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
dreamATD/nn-ir0-gen
A generator of CNN circuit in ir0.
dreamATD/out-dated-website
A beautiful, simple, clean, and responsive Jekyll theme for academics
dreamATD/research
Research at RDI
dreamATD/zkp