Новый слой выполнения, разработанный на основе ZK доказательств, узнайте о Miden - Часть 2. Miden VM и клиентская сторона доказательства Как сказал Хёджин Чой (@Maxi_cho), @0xMiden - это не просто ZK проект. Если в первой части мы рассмотрели, почему Miden необходим, то в этот раз мы объясним, как работает его основной движок Miden VM, с кратким примером. -------- Когда мы сдаем экзамен, мы получаем экзаменационный лист, лист для решения задач и OMR-карту. Мы можем сразу решать задачи на экзаменационном листе, но из-за ограниченного пространства и неудобства сложно свободно записывать сложные формулы или мыслительные процессы. Поэтому мы получаем отдельный лист для решения задач, где можем развивать формулы и решать задачи. Этот процесс предназначен для того, чтобы правильно решить задачу, а не для того, чтобы показать это кому-то. После экзамена мы не сдаем лист для решения задач или все вычисления. Вместо этого мы просто отмечаем правильные ответы на OMR-карте и сдаем ее....