"Когда вы думаете о том, что действительно можно сделать с универсальным доказателем, который может создавать доказательства локально, пределы только в вашем воображении." - @MayaDotan_ из @StarkWareLtd