A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

Use FreeBSD in github actions

Armv8 Native Code Symbolic Simulator in Lean

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

Attacking ECDSA with nonce leakage using lattice-based algorithms

A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

Utility to benchmark speed of operations of a PKCS#11 implementation.

A Safe #[no_std] ASN.1 Codec Framework

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

VDAF specification

Compiling C to FlipJump

Salad Theory

Table of ARM SoC and their features

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

Argument Parser for Modern C++

a categorical deep learning compiler

Open source SDR 4G software suite from Software Radio Systems (SRS) https://docs.srsran.com/projects/4g

DIY 3D LiDAR Scanner

Open Source C++ Library for different telemetry sensors with Python bindings

The Yices SMT Solver

Assembler framework for Common Lisp.

Encoding algorithms for ML-KEM

An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation function.

Rust Poseidon implementation (contact: @porcuquine)

decaf377 is a prime-order group designed for use in SNARKs over BLS12-377

Limbo is a project to build the modern evolution of SQLite.