-
winterfell Public
Forked from facebook/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedDec 8, 2025 -
-
-
twenty-first Public
Forked from Neptune-Crypto/twenty-firstCollection of mathematics routines and cryptography for the twenty-first century
Rust GNU General Public License v2.0 UpdatedJan 15, 2023 -
miden Public
Forked from 0xMiden/miden-vmSTARK-based virtual machine
Rust MIT License UpdatedDec 3, 2022 -
triton-vm Public
Forked from TritonVM/triton-vmTriton 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.
Rust Apache License 2.0 UpdatedAug 12, 2022 -
-
-
-
-
-
-
-
tfhe Public
Forked from IsakSundeSingh/tfheQuick and very dirty (experimental) port of the TFHE fully homomorphic encryption scheme to Rust without many optimizations.
Rust Other UpdatedNov 3, 2021 -
-
AirScript Public
Forked from Mikerah/AirScriptScripting language for defining zk-STARKs
TypeScript MIT License UpdatedOct 9, 2021 -
NMA Public
Part of the project related to the Allen institute 2P dataset
Jupyter Notebook UpdatedJul 29, 2021
{{ message }}