Blockchains-Princeton / COS-ECE470-fa2022Links
Princeton University - COS/ECE 470 : Principles of Blockchains
☆20Updated 3 years ago
Alternatives and similar repositories for COS-ECE470-fa2022
Users that are interested in COS-ECE470-fa2022 are comparing it to the libraries listed below
Sorting:
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30Updated 5 years ago
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆49Updated 2 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Updated 2 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆311Updated 2 weeks ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆87Updated 2 years ago
- ☆60Updated 4 years ago
- ☆66Updated last year
- Lean circuit DSL☆121Updated last week
- SysX☆34Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆50Updated 3 years ago
- Library for parsing, generating, and analyzing LLZK code.☆35Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Interactive formal verification tool for Yul programs☆77Updated 2 months ago
- A list of awesome neural symbolic papers.☆51Updated 3 years ago
- Re-implementation of the TASO compiler using equality saturation☆138Updated 4 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆48Updated 5 months ago
- ☆21Updated last year
- a zero-knowledge proof-carrying code platform for Lean 4☆61Updated this week
- Formally Verified Arguments of Knowledge in Lean☆152Updated this week
- Path Oblivious Heap C++ Reference Implementation☆22Updated 6 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆61Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆38Updated 2 years ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Updated 2 months ago
- An extensible compiler for cryptography.☆25Updated 5 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- ☆30Updated 3 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Updated 3 years ago
- ☆47Updated 2 years ago
- Zirgen compiler and RISC Zero circuits☆123Updated 3 weeks ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago