Excalidraw diagrams for learning about sumcheck

wip pod2 & spec

a game where you're given a potato and your job is to implement a firmware for it

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

LL(k) and LALR(1) parser generator for Rust

This repository demonstrates how to integrate the @plutoxyz/web-proofs library in both vanilla JavaScript and React applications.

3D Interactive World, built using Three.js and Ammo.js

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

background code checker

Implementation of CCS in Rust

A native, user-mode, multi-process, graphical debugger.

18.06 course at MIT

Learning how to write "Less Slow" code in C++ 20, C 99, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system

iris-mpc repository

polynomial commitments from linear codes

A small macro for defining lazy evaluated static variables in Rust.

A feature-rich command-line audio/video downloader

Fast constant-time AES implementations on 32-bit architectures

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Browser-based Remote Attestation to TDX

CUDA-accelerated Fully Homomorphic Encryption Library

An open source payments switch written in Rust to make payments fast, reliable and affordable

Spartan: High-speed zkSNARKs without trusted setup

The testing ground for the future of portable SIMD in Rust

Post-Quantum Magic Project. See more at https://pqcrypto.dev/ . We also open-sourced at https://gitee.com/pqcrypto/pqmagic.

A set of guidelines to avoid arguments over code-quality