winston-h-zhang Goto Github PK

abomonation_derive

A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate

ascent

logic programming in Rust

asian-scanlation-sensation

babybear-ntt

Sppark's implementation of an NTT for the BabyBear curve cycle

bellpepper

SNARK Circuit library

circom

zkSnark circuit compiler

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

format_lean

A Lean file formatter

gpuflow

group

Elliptic curve group traits and utilities.

hands-on-machine-learning

Solo journey to learn machine learning!

leancoder

Proving math theorems in Lean using the DreamCoder algorithm.

leetcode

Saved leetcode problems

math-at-usc

Collection of nice LaTeX notes and problem sets at USC.

maxflow-cuda

Implementation of the maximum network flow problem in CUDA.

memmap2-rs

cross-platform Rust API for memory mapped IO

mit_6172

MIT 6.172 Performance Engineering Materials

msm-test-example

natural_number_game

Building the natural numbers in Lean.

neptune

Rust Poseidon implementation.

nova

Nova: Recursive SNARKs without trusted setup

nova-scotia

Middleware to compile Circom circuits to Nova prover

pasta-msm

High-performance Multi-scalar Multiplication for Pasta curves

pasta_curves

Rust implementation for zcash/pasta

plonky3

A toolkit for polynomial IOPs (PIOPs)

rkyv

Zero-copy deserialization framework for Rust

spmvm-test-example

stalingrad

our deep learning framework

studyspotserver

dun dun dun

submission-msm-gpu