Özgürlüğün geleceği sıfır bilgi ispatlarına bağlıdır.