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 about 1 month ago 1 commits
vortex-ai|Mirror: 0ponn/zkip-stark (⭐0)
about 1 month 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