Tal Derei's repositories
Data-Mining-Project
Final Project for CSE 447
2023-entries
Source code for all entries from the 2023 ZPrize competition
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
webgpu-msm-twisted-edwards
WebGPU MSM Implementation (Twisted Edwards Curve) for ZPrize 2023
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
decaf377
decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
Web-Mining
Parallel hashing and mining for Ethereum on a browser using the WebGPU API.
penumbra
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
Cuda-Barretenberg
Aztec's Barretenberg Cryptographic Backend ported to the GPU using Cuda
plonkathon
educational python plonk implementation, based on vitalik's py_plonk
parallel-merkle-tree
Parallel, In-Memory Dense Merkle-Tree Implementation
noir
Noir is a domain specific language for zero knowledge proofs
Masters-Research
Personal publications and benchmarking work related to master's research on zero-knowledge hardware acceleration using GPUs
llvm-ir-tutorial
Tutorial to learn about LLVM compiler infrastructure backend
arkworks-msm
Test harness for variable base MSM for Arkworks library
noir-circuits
Aztec circuits (account, joinsplit, claim, rollup) in noir
test-msm-gpu
Testing harness for the "Accelerating MSM on GPU" prize
snark-challenge-prover-reference
C++ Groth16 Prover with Libsnark
gpu-groth16-prover-3x
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
Zero-Knowledge-Research
This repository contains personal presentations on emerging zero knowledge research. Member of the Scalable Systems and Software Research Group (SSS) at Lehigh University: https://sss.cse.lehigh.edu/people/. Here's our official blockchain research group that's part of SSS: http://blockchain.cse.lehigh.edu/
cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
snark-challenge
Coda + Dekrypt: The SNARK Challenge - Reference Material
sha256-prover-comparison
Benchmarking sha256 circuits in different proving systems
PLONK-Tutorial
PLONK Tutorial