I just watched the full recording ZKONNECT of @brevis_zk , it was very impressive. The talk “RISC and Reward Formally Verifying zkVMs” goes into detail about how to ensure the correctness of zkVM. JulekSU explains proof soundness and circuit verification in great detail. There is also a Lean-based zkVM verification section, which sounds very in-depth. I learned a lot of new things about how to verify zkVM correctly and transparently. If you are interested in zkVM or ZK tech, this is a talk you cannot miss.
1,16 тыс.
59
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.