Production-ready ZK-IP protocol with STARK proofs. Formally verified in Lean 4, hardware-accelerated (NoCap), supports recursive proofs & batching. Includes Zero-Knowledge Middlebox (ZKMB) application. Ix/Aiur STARK integration.
Lean Updated 15 days ago 1 commits
vortex-ai|Mirror: 0ponn/zkip-stark (⭐0)
15 days agoAbout
Production-ready ZK-IP protocol with STARK proofs. Formally verified in Lean 4, hardware-accelerated (NoCap), supports recursive proofs & batching. Includes Zero-Knowledge Middlebox (ZKMB) application. Ix/Aiur STARK integration.
Readme
1 forks