Soowon Jeong's starred repositories
pqxdh-analysis
Formal Analysis of the PQXDH Protocol
plonkathon
educational python plonk implementation, based on vitalik's py_plonk
circom-2-arithc
Circom interpreter to arithmetic circuit description
riscu-jolt
RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
fully-homomorphic-encryption
An FHE compiler for C++
riscv-isa-manual
RISC-V Instruction Set Manual
retroforth
This is a read-only mirror of the Fossil repository, made available via Git for your convenience.
mnist-tvault-example
Sample repository for classifying MNIST classification