Beast code in Giters

Al-Kindi-0's repositories

winterfell

A STARK prover and verifier for arbitrary computations

Language:RustMIT000

mds-test

MDS matrices

000

mono

Language:RustMIT000

twenty-first

Collection of mathematics routines and cryptography for the twenty-first century

Language:RustGPL-2.0000

miden

STARK-based virtual machine

Language:RustMIT000

triton-vm

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.

Apache-2.0000

zkCards

A game for trading magic cards magically.

Language:C++000

zku-project

Language:Solidity000

Al-Kindi-0

Config files for my GitHub profile.

Language:Jupyter Notebook000

w4

Language:TypeScript000

w3

Language:TypeScript000

w2

Language:JavaScript000

w1

Language:Solidity000

tfhe

Quick and very dirty (experimental) port of the TFHE fully homomorphic encryption scheme to Rust without many optimizations.

NOASSERTION000

bcs

Apache-2.0000

AirScript

Scripting language for defining zk-STARKs

MIT000

NMA

Part of the project related to the Allen institute 2P dataset

Language:Jupyter Notebook000