Dustin-Ray

Dustin-Ray's Stars

• spaceandtimelabs/blitzar

  Zero-knowledge proof acceleration with GPUs for C++ and Rust

  Language:C++4k893126

• nexus-xyz/nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  Language:Rust2.1k2293357

• zama-ai/concrete-ml

  Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.

  Language:Python1.1k21100153

• zama-ai/tfhe-rs

  TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

  Language:Rust99117108151

• data61/MP-SPDZ

  Versatile framework for multi-party computation

  Language:C++963201.5k281

• facebook/winterfell

  A STARK prover and verifier for arbitrary computations

  Language:Rust8162898193

• 0xPolygonZero/plonky2

  Language:Rust79031169298

• arkworks-rs/algebra

  Libraries for finite field, elliptic curve, and polynomial arithmetic

  Language:Rust67223312257

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust5263374221

• mpc-msri/EzPC

  Language:C++41221111122

• usnistgov/PrivacyEngCollabSpace

  Privacy Engineering Collaboration Space

  Language:Python240494133

• maxgillett/halo2-fri-gadget

  A FRI verifier circuit for the Halo2 proof system

  Language:Rust76805

• awslabs/bike-kem

  Additional implementation of BIKE (Bit Flipping Key Encapsulation)

  Language:C4981014

• entropyxyz/crypto-primes

  Random prime generation and primality testing library based on `crypto-bigint`.

  Language:Rust195265

• Electron-Labs/starky_bls12_381

  Starky implementation of Bls12-381

  Language:Rust12115

• Pierrick-Dartois/SQISignHD-lib

  Official SQISignHD code, version under continuous development.

  Language:C9402

• NWc0de/KeccakUtils

  A crypto library providing SHA3/cSHAKE256 hash computation, symmetric encryption via KMACXOF256, elliptic curve key generation, ECDHIES encryption, and Schnorr signature services.

  Language:Java6202

• QuantumCoded/rat-fix

  Genetically splice one rat out of another.

  Language:Rust6400

• merinjo/RSA-Montgomery-Ladder-Implementation

  Implementation of the Montgomery’s ladder for exponentiation algorithm of a 128 byte message with a 64 byte (512 bits) secret exponent

  Language:C++220

• post-quantum-cryptography/CECPQ2b

  SIKE/p434 in C

  Language:C++21101

• carolinenajwa/proving-nn-backprop

  This repository is dedicated to the development and understanding of the costs of deploying traditional backpropagation in such a manner as to cryptographically prove the successful completion of the training algorithm.

  Language:Makefile1200

• DavidByteBit/LogisticRegressionMPSPDZ

  Language:Python120