Blockchains-Princeton / COS-ECE470-fa2022Links
Princeton University - COS/ECE 470 : Principles of Blockchains
☆19Updated 2 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:
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆83Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- ☆61Updated 8 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆304Updated last month
- Interactive formal verification tool for Yul programs☆66Updated 3 weeks ago
- ☆59Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- Formally Verified Arguments of Knowledge in Lean☆85Updated this week
- Solves systems of polynomial equations.☆29Updated 2 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Obsolete☆14Updated 2 years ago
- Lean circuit DSL☆85Updated this week
- ☆17Updated 9 months ago
- ☆40Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Executable formal model of the EVM and Yul in Lean 4.☆59Updated 3 weeks ago
- Course website for Berkeley DeFi☆43Updated 2 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆55Updated 11 months ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 5 months ago
- An EVM interpreter in Dafny☆130Updated 8 months ago
- An Awesome list for resources on algorithmic game theory☆161Updated 2 years ago
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆44Updated last year
- ☆47Updated last year
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆44Updated 2 years ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated 8 months ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆30Updated last year