BENNATAN, M. Adrien (2021) Implementing the Zero-Knowledge Proof of Knowledge protocol KKW with SHA-256 PRE - Research Project, ENSTA.

[img]
Preview
PDF
454Kb

Abstract

Zero-knowledge proofs of knowledge are methods by which one party (the prover) can prove mathematically that they know a secret value to another party (the verifier) without conveying any information about this value. Initially, the KKW protocol and its implementation for SHA-256 using the signature scheme Picnic are presented. Next, proof sizes and execution times are measured in order to discuss the viability of KKW in the context of the MLS protocol for group messaging. To finish, the proof generating platform Cairo is put to test.

Item Type:Thesis (PRE - Research Project)
Uncontrolled Keywords:Zero-Knowledge Proof of Knowledge, SHA-256, MLS, Multi-Party Computation, Fiat-Shamir, boolean circuit, Merkle tree, STARK, Cairo
Subjects:Information and Communication Sciences and Technologies
Mathematics and Applications
ID Code:8558
Deposited By:adrien Ben natan
Deposited On:23 août 2021 15:15
Dernière modification:23 août 2021 15:15

Repository Staff Only: item control page