Pinned Loading

1. AIJack AIJack Public

   Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)

   C++ 409 64

2. FLAIR-THU/PairedLogitsInversion FLAIR-THU/PairedLogitsInversion Public

   Implementation of "Breaching FedMD: Image Recovery via Paired-Logits Inversion Attack" (CVPR 2023)

   Python 5

3. Runwai Runwai Public

   Refinement-typed DSL for certified AIR constraints and lookups

   Lean 5 4

4. rhoevm rhoevm Public

   symbolic EVM execution engine written in Rust

   Rust 18 2

5. MyZKP MyZKP Public

   Building Zero Knowledge Proof from Scratch in Rust

   Rust 48 2

6. zkFuzz zkFuzz Public

   ZK Circuit Fuzzer (IEEE S&P'26)

   Rust 28 2