Rollup Verification Support (contest)


image.png
Всем привет друзья. Недавно запущенное подуправление Free TON Cryptography Governance сразу же запустили 2 конкурса с отличными призовыми. Об дном из них мы и поговорим сегодня - Rollup Verification Support

Даты подачи заявки

September 25 - October 25, 2021

Описание

=nil; Foundation в качестве первого члена сообщества Free TON разработала обновленную версию виртуальной машины TON, которая включает криптографические примитивы, необходимые для использования проверки с нулевым разглашением в виртуализированных приложениях. =nil; Foundation также подготовил C ++ и Rust-y

Ключевым применением такой инструкции по проверке является проверка накоплений, которые часто состоят из транзакций / пакетов репликации / подписей голосов и т. д.

Проверка транзакций, голосов и т. д. Сводится к проверке его подписей. Широко распространенные сигнатуры (EdDSA, ECDSA) определяются на основе кривых без сопряжения (Ed25519, secp256k1), которые не имеют скрученных кривых и требуют больших затрат и времени на проверку. В случае проверки FreeTON необходимо, чтобы время было как можно меньше

Задача

Представить эффективный способ проверки несопряженных дружественных подписей на основе кривых над доказательством Groth16 SNARK на основе BLS12-381, что приведет к введению способа проверки zk-сверток на FreeTON

Инструкции для участников
Ожидается, что участники представят способ эффективной проверки EdDSA по подписям Ed25519 с помощью недавно представленной VERGRTH16 инструкции, позволяющей проверять zk-свертки внешних протоколов внутри TVM.

Основные требования

  • Решение должно быть правильно работающим виртуализированным приложением FreeTON, развернутым либо на https://main.ton.dev/ (https://ton.live/) (в случае обновления протокола), либо на либо на https://fld.ton.dev/ (https://fld.ton.live/).
  • Решение должно использовать инструкции VERGRTH16 TVM.
  • Решение должно иметь возможность проверить подтверждение Groth16 как минимум 32000 EdDSA по подписям Ed25519 в пределах одного интервала производства пакета репликации
  • Помимо загрузки представления, код должен быть отправлен в соответствии с GitHub - freeton-org / readme
  • Участник должен провести презентацию своего решения в удобное время, согласованное с членами группы криптографии. Решение должно включать тесты с четкими инструкциями
  • Решение должно иметь лицензию с открытым исходным кодом.
  • Решение должно содержать хотя бы черновик описания архитектуры.

Rewards

  • 1st prize (score >= 7.0) - 300000 TONs
  • 2nd prize (score >= 6.0) - 150000 TONs
  • 3rd prize (score >= 5.0) - 50000 TONs

Только заявки со средним баллом, равным или выше 5.0 могут получить награду


Comments 0