Разработчик StarkWare утверждает, что верифицировал первое доказательство с нулевым разглашением, используя свой новый верификатор STARK в тестовой сети Bitcoin Signet.
Первоначальное доказательство концепции тестирования верификатора включало проверку математической задачи, в частности, 32-го числа в последовательности Фибоначчи. Следующим шагом будет обобщение модели и предоставление ей возможности выполнять более...
Читать далее