Alternatives and similar repositories for COS-ECE470-fa2022

Users that are interested in COS-ECE470-fa2022 are comparing it to the libraries listed below

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated last month
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆82Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆17Updated 3 years ago
• starkware-libs / formal-proofs
  ☆59Updated 7 months ago
• cysic-labs / ZPrize-23-Prize1
  ☆17Updated 8 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆95Updated last week
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆28Updated last year
• Veridise / Coda
  ☆47Updated last year
• yuzeng2333 / Berkeley-Zero-Knowledge-Proof-Mooc-Notes-Spring-2023
  Help people understand the ZKP mooc course of Berkeley
  ☆14Updated 2 years ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆43Updated 2 years ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆49Updated 2 months ago
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆166Updated 2 years ago
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆65Updated 3 weeks ago
• whbjzzwjxq / ZKAP
  ☆24Updated 9 months ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆73Updated this week
• ChezJrk / verified-scheduling
  ☆40Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆53Updated 10 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆112Updated last week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆74Updated this week
• flock-org / flock-artifact
  A framework for deploying on-demand distributed-trust.
  ☆13Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• zk-ml / research
  repository for machine learning algorithms and systems on emergent runtimes
  ☆21Updated 2 years ago
• succinctlabs / zkvm-perf
  ☆25Updated 4 months ago