dreamATD

Tianyi Liu's repositories

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

Language:GoApache-2.031 1 1

The implementation of distributed kzg (used in Pianist) based on gnark-crypto.

Language:AssemblyApache-2.05 1 1

This is the implementation for my bachelor thesis about an improvement for CKKS based on CIS.

Language:C++4 10

A cpu using Tomasulo‘s algorithm and risc-v instruction set.

Language:Verilog200

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

Language:RustApache-2.0100

Language:JavaScriptMIT1 10

A compiler for a C-like language with ANTLR 4 as the parser.

Language:Java100

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

Language:RustAGPL-3.0000

程序员在家做饭方法指南。

Unlicense000

Language:Ruby000

Ruby Introduction Assignment for Agile Development using Ruby on Rails

Language:Ruby000

A generator of CNN circuit in ir0.

Language:C++020

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT000

Research at RDI

Language:HTML000

Language:HTML000