タグ

ブックマーク / zenn.dev/mameta29 (2)

  • TikTokがゼロ知識証明の開発を始めた話

    はじめに TikTokが今年に入ってから、TEE(Trusted Execution Environment)のRA(Remote Attestation)に、ゼロ知識証明(ZKP)を使った仕組みをOSSで公開していました。こちらがTikTokの記事Trustless Attestation Verification With Zero-Knowledge Proofs | TikTok for Developersです。TEEやRemote Attestationとは何か、どのような場面でゼロ知識証明が使われるのか、そしてTikTokがこのような最先端な暗号技術を積極的に取り入れようとしている理由を説明できたらと思います! 1. TEEって何? TEE(Trusted Execution Environment)は、物理的なCPUチップ内に組み込まれた特別なセキュリティ機能によって、外部

    TikTokがゼロ知識証明の開発を始めた話
  • ゼロ知識証明ものがたり

    これはあくまでも個人の調査の上で、ゼロ知識証明の研究の流れを物語形式に自分なりに表現したものです。ざっくりと外観を捉えたい時にご参照ください。ご指摘も歓迎しております。 第一章:ゼロ知識証明の始まり - (1985-1992) 1985年暗号理論の世界に、Goldwasser、Micali、Rackoffという3人の研究者による、ある論文が発表されました。それは「特定の情報を知っていること」を、他の一切の情報を明らかにせず他者に数学的に証明することができる技術でした。 この論文は、完全性、健全性、ゼロ知識性という3つの重要な概念を導入し、二次剰余と二次非剰余の構成を提供し、二次剰余性を判定する問題を使って、ゼロ知識証明プロトコルを具体的に構築しました。これは、後の暗号学の発展に大きな影響を与えることになります。 1992年、この分野に新たな革新が加わります。Lund、Fortnow、Kar

    ゼロ知識証明ものがたり
  • 1