OH: "ytimekkäät todistejärjestelmät eivät ole kryptografiaa, ne ovat järjestelmäsuunnittelua"