The Art of Zero Knowledge: The Unreasonable Power of the Sum-CheckProtocol

When designing an efficient interactive proof system, there…


The Art of Zero Knowledge: Zero-Knowledge Proofs for Set Membership

In this post, I will attempt to present the problem of…