Сьогодні @Xi_195 поділився постом про те, що @boundless_xyz доставив доказ розміру циклу 101B за один раз, і @Nahoc10 оголосив, що цей рекорд був побитий з доказом циклу 106B. Але що саме означають цикли 106B у @RiscZero R0VM? Якщо подивитися на еталонний технічний паспорт, наданий RISC Zero, типові операції показують рівні, що трохи перевищують 2 мільйони циклів. Оскільки це показує величезний розрив у порівнянні з числом 106B, нам потрібно знайти більш порівнянну цифру. Порівняльні цифри я зміг знайти в блозі RISC Zero. У травні 2024 року вони анонсували Zeth, доказ блоку Ethereum ZK з відкритим вихідним кодом. Разом з оголошенням вони розкрили різні показники, заявивши, що вони згенерували доказ розміру циклу приблизно 190 мільярдів для підтвердження 1 541 транзакції в 40 блоках Ethereum (180 блоків Optimism). Таким чином, 100B доказ циклу, згенерований за допомогою Boundless цього разу, є майже розміром доказу для 20 блоків Ethereum, що можна вважати доказом для надзвичайно великих обчислень (вони можуть бути не строго пропорційними). У попередньому експерименті вони заявили, що створення доказу циклу 190B зайняло 1,624 хвилини, а цього разу Boundless знадобилося 727 хвилин, щоб забезпечити циклічний доказ 101B, продемонструвавши дещо покращену ефективність. * Однак, хоча вартість створення доказу розміром до 100 мільярдів циклів оцінюється приблизно в 500-600 доларів, той факт, що ціна доказу була встановлена лише на рівні 0,006 ETH через конкуренцію на аукціоні, показує деяку віддаленість від реальності. Тим не менш, я вважаю, що це свідчить про те, що докази на інституційному рівні можуть генерувати досить великі докази за допомогою конкуренції в основній мережі, що означає, що ми дійсно можемо прорватися через межі обчислень у мережі! Основна мережа Boundless знаходиться не за горами, і буде цікаво спостерігати за аукціонами доказів і продуктивністю prover після запуску мейннету.