Desmovd
Как Miden использует zk-STARKs:
Прежде всего, zk-STARK — это доказательство, которое показывает, что вычисление было выполнено правильно, но детали остаются секретными.
Miden использует эти zk-STARK для подтверждения корректности расчетов, не заставляя сеть выполнять их заново.
zk-STARK превращает большое вычисление в быстро проверяемое доказательство. Цепочка просто проверяет доказательство, что позволяет быстро двигаться и снижает нагрузку на каждую часть системы.
Это также помогает сохранить конфиденциальность. Доказательство показывает, что правила были соблюдены, но не показывает данные,
Посмотреть ОригиналПрежде всего, zk-STARK — это доказательство, которое показывает, что вычисление было выполнено правильно, но детали остаются секретными.
Miden использует эти zk-STARK для подтверждения корректности расчетов, не заставляя сеть выполнять их заново.
zk-STARK превращает большое вычисление в быстро проверяемое доказательство. Цепочка просто проверяет доказательство, что позволяет быстро двигаться и снижает нагрузку на каждую часть системы.
Это также помогает сохранить конфиденциальность. Доказательство показывает, что правила были соблюдены, но не показывает данные,













