Tal Derei's Projects
Repository for CSE 411: Advanced Programming Techniques.
Libraries for finite field, elliptic curve, and polynomial arithmetic
Test harness for variable base MSM for Arkworks library
Client-server implementation written in C++ with parallelism and concurrency.
Aztec's Barretenberg Cryptographic Backend ported to the GPU using Cuda
Extended-precision modular arithmetic library that targets CUDA.
Proving interactions on Aztec-Connect using Noir
Data Mining repository for CSE 447
Final Project for CSE 447
Custom database application with JDBC connected to an Oracle database.
decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
Merge testnet (Kintsugi) for ETH 2.0.
PoW blockchain written in Golang
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
A Distributed Content Licensing Framework (DCLF) using Hyperledger Fabric's permissioned blockchain.
A platform to match software contributors with projects in need of contribution in the Lehigh community.
Tutorial to learn about LLVM compiler infrastructure backend
Lutron (Distributed Systems for IoT Devices): Distributed Systems and RAFT Consensus Protocol written in Golang for smart dimmers, controls, shades, & lighting technology.
Personal publications and benchmarking work related to master's research on zero-knowledge hardware acceleration using GPUs
Custom blockchain written in C for CSE 297: Blockchain Algorithms and Systems.
Noir is a domain specific language for zero knowledge proofs
Aztec circuits (account, joinsplit, claim, rollup) in noir
Repository for CSE 375: Parallel and Concurrent Computing.
Parallel, In-Memory Dense Merkle-Tree Implementation
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
PLONK Tutorial
educational python plonk implementation, based on vitalik's py_plonk
Benchmarking sha256 circuits in different proving systems