zk-SNARKs

Sort by:

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