icp001

Here is 1 public repository matching this topic...

Sovereign Corporate Product: Governance-to-Treasury Bridge with ZK Proof Verification - BSL-1.1 + AGPL v3.0 copyleft - Sovereign Node Key Only

rust gpu-acceleration formal-verification governance ski-combinators treasury zero-knowledge unlambda fri sovereign circom lean4 zk-proofs icp001 nvidia-sass binary-field butterfly-evaluator

To associate your repository with the icp001 topic, visit your repo's landing page and select "manage topics."