Pinned Loading

1. zk-AV zk-AV Public

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

   Python

2. lynx lynx Public

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

   C

3. 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

4. groth16-core groth16-core Public

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

   Python

5. shoup-threshold-signature shoup-threshold-signature Public

   Java implementation of Shoup's Practical Threshold Signature

   Java 1

6. usnistgov/STVM_NLP_Research usnistgov/STVM_NLP_Research Public

   Research code and such

   Jupyter Notebook 2 4