Magic functions

Abstract

This study addresses three apparently unrelated problems: selective decommitment; 3-round weak zero-knowledge arguments; and the Fiat-Shamir methodology. By sketching these problems at high level, it is shown that these problems are closely related to circuit obfuscation or code obfuscation.