Я не думаю, что люди понимают безумное увеличение масштабируемости, которое реальное доказательство ZK принесет в Ethereum уровня 1.
Вы не готовы к тому, что Ethereum превзойдет все другие цепочки, оставаясь при этом самой децентрализованной сетью на планете.
Верьте в somETHing.
▶️ Полная запись ZKONNECT: {RISC и вознаграждение — Формальная верификация zkVM}
@JulekSU провел глубокое погружение в будущее корректности zkVM. Звуковость доказательства, верификация схем, верификация zkVM на основе Lean и многое другое.
Доказательство ETH в реальном времени уже здесь. ⚡️
️
На своей живой демонстрации @drakefjustin показал клиент zklighthouse, ожидающий, когда самые быстрые доказательства завершат блок.
Pico от Brevis сработал.
Мы среди немногих, кто способен быстро доказать выполнение ETH, чтобы успевать за сетью. Повторное выполнение не требуется. Только чистая, проверенная скорость.