Projects

arkworks-keccak

RustBellpepper

Developed R1CS circuits in Rust using Bellpepper for SHA3-256, SHAKE128, and SHAKE256 to create a zero-knowledge argument of knowledge for a valid pre-image of a public hash value.

Code

arithmetic-coding

Python

Implemented arithmetic coding with E1 and E2 rescaling and floating-point precision tags in Python to allow the encoding and decoding of arbitrary length sequences without requiring a predefined symbol probability distribution.

Code

ntt-polynomial-multiplication

Rust

Implemented the Cooley-Tukey (NTT) and Gentleman-Sande (INTT) in Rust for fast polynomial multiplication modulo x^n+1.

Code

chaotic-attractors

C++SFML

An audio visualiser for chaotic attractors implemented in C++.

Code

Treesize

ReactTauriRust

File-system management software with new visualizations and cache-based scans in React, Tauri, and Rust.

Code