zk-SNARKs
Dark Forest: Transparency on Blockchains with Zero-Knowledge Proofs with Brian Gu
Complete information games are games where every player has information about the game sequence, strategies, and payoffs throughout gameplay. Playing chess, for example, relies on
StarkWare: Transparent Computational Integrity with Eli Ben Sasson
Computational integrity is a property that is required for financial transactions on the Internet. Computational integrity means that the output of a certain computation is correct. If I