Blockchains-Princeton / COS-ECE470-fa2022
Princeton University - COS/ECE 470 : Principles of Blockchains
☆20Updated last year
Related projects: ⓘ
- ☆54Updated 2 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆69Updated last year
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆29Updated 10 months ago
- ☆11Updated this week
- SysX☆13Updated 5 months ago
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 2 years ago
- ☆61Updated this week
- zero knowledge proof for NN inference☆78Updated 3 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 4 years ago
- Solves systems of polynomial equations.☆28Updated last year
- Help people understand the ZKP mooc course of Berkeley☆14Updated last year
- Reference GPU test harness for the "Accelerating MSM on GPU" challenge of ZPrize☆12Updated 2 years ago
- ☆43Updated last year
- Precise Attack Synthesis for DeFi Apps☆46Updated 2 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆14Updated last year
- ☆36Updated 2 weeks ago
- ☆23Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆146Updated last week
- Verifying a 512-layer CNN w/ Nova☆155Updated last year
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆139Updated 6 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆280Updated last month
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆51Updated 2 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆105Updated 6 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆38Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆133Updated last week
- Demo of ML for MNIST classification in a zero knowledge proof☆115Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆60Updated 2 months ago
- Libra zero knowledge proof system☆47Updated last year
- ☆11Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆109Updated 6 months ago