A commitment scheme allows for one party to publicly commit to some value without revealing that value. For example, Alice wants to bet on…

A negligible function is a function such that, for any positive integer there exists an integer such that for all , i.e., that…

Informally, a function is a one-way function if it is easy to compute but hard to invert. Or more generally, hard to pseudo-invert, i.e…

References: Tegmark and Omohundro, Provably safe systems: the only path to controllable AGI (2023). https://arxiv.org/abs/2309.01933 they…

A zk-SNARK, or zero knowledge Succinct Non-interactive Argument of Knowledge, is a [ zero knowledge ] proof system that is non-interactive…

A zero-knowledge proof allows a prover to demonstrate that it possesses certain information, without revealing that information to the…