2 つの主要なゼロ知識プロジェクト $STRK と $ZK はゼロ知識証明です。