al-kindi-0's Projects
Scripting language for defining zk-STARKs
Config files for my GitHub profile.
MDS matrices
STARK-based virtual machine
Part of the project related to the Allen institute 2P dataset
Quick and very dirty (experimental) port of the TFHE fully homomorphic encryption scheme to Rust without many optimizations.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Collection of mathematics routines and cryptography for the twenty-first century
w1
A STARK prover and verifier for arbitrary computations
A game for trading magic cards magically.