Смарт контракт с Groth16 zkSNARK

Задание закрыто
Стоимость:Договорная
Срок выполнения:11 дней
Варианты оплаты:Планируется использовать Безопасную сделку
Дата публикации:2021-08-05 09:49
Был(а) на сайте:2022-05-17 11:40

Смарт контракт с Groth16 zkSNARK

 
Задача

Необходимо создать любой тривиальный пример, в котором будут использоваться доказательства Groth16 (см примерные работы 1, 2, 3, 4)

Пример должен работать с FreeTON LSCS и быть развернут в тестовой сети http://live.freeton.nil.foundation/
Желательно использование с++ или solidity
Пример не быть похожим на TONCash или какие-либо анонимные транзакции / предложения токенов
Пример должен содержать определения схем, выполненные (предпочтительно) with =nil; Crypto3 Blueprint library (GitHub - NilFoundation / crypto3-blueprint: компонентный модуль для = nil; криптография с нулевым разглашением от Foundation) или как формальное утверждение
Содержать подтверждающий / проверяющий ключ и подтверждаемое утверждение (первичный и вспомогательный входы)
Необходимо использовать инструкции VERGRTH16 TVM
Background
=nil; Foundation в качестве первого участника сообщества Free TON разработала обновленную версию виртуальной машины TON, которая включает криптографические примитивы, необходимые для использования проверк...

Видеть полную информацию и оставлять заявки могут только авторизованные пользователи.

Оставлять заявки могут только авторизованные пользователи.