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:
- A support library for working with zero knowledge cryptography in Lean 4.☆45Updated 4 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆74Updated 2 years ago
- ☆67Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- Interactive formal verification tool for Yul programs☆75Updated last month
- ☆20Updated last year
- Course website for Berkeley DeFi☆45Updated 3 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆49Updated 3 years ago
- a zero-knowledge proof-carrying code platform for Lean 4☆57Updated last week
- Library for parsing, generating, and analyzing LLZK code.☆27Updated last week
- ☆19Updated 2 years ago
- ☆48Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- Path Oblivious Heap C++ Reference Implementation☆22Updated 5 years ago
- ☆12Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 6 months ago
- Lean circuit DSL☆114Updated last week
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30Updated 5 years ago
- ☆60Updated 3 years ago
- An EVM interpreter in Dafny☆133Updated last year
- zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA☆48Updated 2 years ago
- A list of awesome neural symbolic papers.☆50Updated 3 years ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆60Updated last year
- Formally Verified Arguments of Knowledge in Lean☆137Updated last week
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- PCCL (Prime Collective Communications Library) implements fault tolerant collective communications over IP☆141Updated 3 months ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 2 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆87Updated 2 years ago
- Solves systems of polynomial equations.☆30Updated 3 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆162Updated this week