Какой криптографический инструмент можно использовать для доказательства того, что программа проходит определенный тест?

David J.

25.04.2023, 08:58

Допустим, у меня есть смарт-контракт, расположенный по адресу А, и еще один смарт-контракт, который запускает тесты на А находится в А'. А может содержать ссылку на этот тестовый контракт и иметь такую функцию, как запустить тесты который работает А' с помощью байт-кода А.

Мой вопрос: есть ли способ доказать, что А прошел тест, так что тест не нужно запускать снова? Я имею в виду, предположим А хранит переменную с именем прошелтест и это установлено на истинный. Нам просто нужно поверить на слово владельцу контракта, что тест пройден. Но может ли быть какой-то хэш, который прошелтест можно было установить так, чтобы ни у кого не возникло сомнений в том, что тест пройден?

0 + 0

доказательства с нулевым разглашением

Admin

Этот вопрос на других языках:

EN: Which cryptographic tool can be used to prove that a program passes a certain test?

TH: เครื่องมือการเข้ารหัสแบบใดที่สามารถใช้เพื่อพิสูจน์ว่าโปรแกรมผ่านการทดสอบบางอย่าง

RO: Ce instrument criptografic poate fi folosit pentru a demonstra că un program trece un anumit test?

RU: Какой криптографический инструмент можно использовать для доказательства того, что программа проходит определенный тест?

VI: Công cụ mật mã nào có thể được sử dụng để chứng minh rằng một chương trình vượt qua một bài kiểm tra nhất định?

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.