#sxt $SXT @SpaceandTime Пока я читал документацию Proof of SQL, мне бросилось в глаза кое-что странное... доказательство проверяется в блокчейне примерно за 150 тыс. единиц газа, и размер таблицы при этом, похоже, не имеет значения.
Проверка может обходиться всего примерно в 150 тыс. единиц газа, а агрегатные запросы по более чем 1 млн строк доказываются менее чем за секунду на одном графическом процессоре T4. Предыдущий бенчмарк показывал 3.2 секунды на миллионе строк, так что генератор доказательств стал намного быстрее. Работа контракта в любом случае остается небольшой. Он проверяет компактное доказательство и никогда не обращается к данным.
Думаю, в этом и заключается суть. Протокол кредитования мог бы опираться на среднее значение коэффициента использования за 90 дней, не доверяя тому, кто его рассчитал. ИИ-агент мог бы показать, откуда взялись его цифры. Показатель резервов токенизированного фонда можно было бы сверить с исходной таблицей. Каждый раз используется один и тот же механизм, поэтому @SpaceandTime кажется мне интереснее, чем можно подумать по ярлыку «проверяемые данные».
Мои сомнения связаны со стороной генерации доказательств. Проверка обходится дешево, но время генерации растет вместе с размером таблицы. Если рост линейный (это моя собственная грубая оценка, а не опубликованный бенчмарк), то обработка таблицы на 100 млн строк займет на одном GPU уже минуты на каждый запрос, а не секунды. При таком спросе доступ к GPU станет узким местом, и тогда возникает вопрос: кто в итоге будет запускать системы генерации доказательств?
Вероятно, именно здесь $SXT пройдет проверку, поскольку этот механизм должен согласовать, кто генерирует доказательства и кто за это платит. #SXT
Если спрос на генерацию доказательств когда-нибудь станет высоким, останется ли сеть открытой для новых операторов или постепенно перейдет под контроль нескольких крупных GPU-ферм?
Проверка может обходиться всего примерно в 150 тыс. единиц газа, а агрегатные запросы по более чем 1 млн строк доказываются менее чем за секунду на одном графическом процессоре T4. Предыдущий бенчмарк показывал 3.2 секунды на миллионе строк, так что генератор доказательств стал намного быстрее. Работа контракта в любом случае остается небольшой. Он проверяет компактное доказательство и никогда не обращается к данным.
Думаю, в этом и заключается суть. Протокол кредитования мог бы опираться на среднее значение коэффициента использования за 90 дней, не доверяя тому, кто его рассчитал. ИИ-агент мог бы показать, откуда взялись его цифры. Показатель резервов токенизированного фонда можно было бы сверить с исходной таблицей. Каждый раз используется один и тот же механизм, поэтому @SpaceandTime кажется мне интереснее, чем можно подумать по ярлыку «проверяемые данные».
Мои сомнения связаны со стороной генерации доказательств. Проверка обходится дешево, но время генерации растет вместе с размером таблицы. Если рост линейный (это моя собственная грубая оценка, а не опубликованный бенчмарк), то обработка таблицы на 100 млн строк займет на одном GPU уже минуты на каждый запрос, а не секунды. При таком спросе доступ к GPU станет узким местом, и тогда возникает вопрос: кто в итоге будет запускать системы генерации доказательств?
Вероятно, именно здесь $SXT пройдет проверку, поскольку этот механизм должен согласовать, кто генерирует доказательства и кто за это платит. #SXT
Если спрос на генерацию доказательств когда-нибудь станет высоким, останется ли сеть открытой для новых операторов или постепенно перейдет под контроль нескольких крупных GPU-ферм?
