Pinned Loading

1. zk-AV zk-AV Public

   Verifiable autonomous vehicle perception using zk-SNARKs (Groth16) with cryptographic integrity and privacy guarantees.

   Python 1

2. sarus sarus Public

   CKKS-based privacy-preserving fusion of multi-vendor object detections for autonomous vehicles.

   Python 1

3. lynx lynx Public

   Lynx: Family of Lightweight Authenticated Encryption Schemes Based on Tweakable Blockcipher

   C

4. ai-verification-limits ai-verification-limits Public

   Toy framework illustrating limits of AI policy verification and the shift to proof-carrying, instance-level certification.

   Python

5. groth16-core groth16-core Public

   Modular Groth16 verifier in Python with snarkjs compatibility, tests, and real-world example.

   Python

6. shoup-threshold-signature shoup-threshold-signature Public

   Java implementation of Shoup's Practical Threshold Signature

   Java 1