# Как продали кота в мешке

**URL:** <https://forum.zcashcommunity.com/t/topic/39684>\
**Category:** Russian\
**Created:** [July 28, 2021, 11:09am UTC](https://forum.zcashcommunity.com/t/topic/39684 "2021-07-28T11:09:21Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![vadym-f](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/vadym-f/32/11547_2.png) [@vadym-f](https://forum.zcashcommunity.com/u/vadym-f)\
**Post date:** [July 28, 2021, 11:09am UTC](https://forum.zcashcommunity.com/t/topic/39684/1 "2021-07-28T11:09:21Z")

</div>

Да, действительно продали, во время конференции Financial Crypto 2016. Это был доклад о снарках, с открытым исходным кодом и экзотической транзакцией. И подробным разоблачением черной магии, Bowe-Maxwell на bitcoincore.

Это не перевод известного материала. [Здесь](https://github.com/vadym-f/Sudoku_solvability_proof/) альтернативный C++ код и R1CS circuit для проверки правильности решения судоку. Приватной проверки: проверяющий получает только снарк-доказательство и исходную позицию, но не решение. Позвольте повторить: оригинал был в 2016.

Реализованная проверка проще оригинала: секретное решение должно соответствовать правилам судоку и исходной позиции, всё. Оригинал еще проверяет что шифротекст получен из решения, и может быть расшифрован хэшем из транзакции покупки. Мне было интересно проследить (отреверсить) код, и применить полиномиальное представление множеств в моем варианте.

Если Вы проходите или читаете курс по современной криптографии, может быть интересно русскоязычное сочинение:  
doc/sudoku19ru.pdf  
Тем кто только начинает - поможет введение с буквально секретной таблицей умножения, это может быть доступно первокласснику. В тексте много ссылок. Было на IEEE ATIT 2019. Полиномиальное представление графов привело к альтернативной интерактивной системе доказательства (zero-knowledge протоколу) для распознавания раскраски графов, MFCS 2012.

Спасибо что дочитали.

---

<div class="post-metadata">

**Author:** ![artkor](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/artkor/32/28573_2.png) [@artkor](https://forum.zcashcommunity.com/u/artkor)\
**Post date:** [July 29, 2021, 7:48am UTC](https://forum.zcashcommunity.com/t/topic/39684/2 "2021-07-29T07:48:45Z")

</div>

Интересно спасибо. Мало что понятно пока, но буду читать ссылки чтобы разобраться. 🙂

---

<div class="post-metadata">

**Author:** ![vadym-f](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/vadym-f/32/11547_2.png) [@vadym-f](https://forum.zcashcommunity.com/u/vadym-f)\
**Post date:** [July 30, 2021, 1:00pm UTC](https://forum.zcashcommunity.com/t/topic/39684/3 "2021-07-30T13:00:13Z")

</div>

“Ты помнишь как всё начиналось”

Сегодня мы начинаем с приватности транзакций Zcash.  
Дети начинают информатику с мобильного телефона, и преподаватели могут просить их сделать что-нибудь самостоятельно, на своем телефоне.  
Телефон при этом остается дорогим и очень сложным устройством.

В примере с таблицей умножения есть единственная секретная тройка, и еще C++ код размером в только одну страницу.  
Построена R1CS система уравнений, получены два публичных ключа, получено снарк-доказательство существования подходящего секрета, выполнена проверка.  
Если Вам понятен этот код - дальше сами разберетесь как реализована проверка правильности решения судоку и транзакции Zcash.

---

<div class="post-metadata">

**Author:** ![artkor](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/artkor/32/28573_2.png) [@artkor](https://forum.zcashcommunity.com/u/artkor)\
**Post date:** [October 4, 2021, 4:53am UTC](https://forum.zcashcommunity.com/t/topic/39684/4 "2021-10-04T04:53:21Z")

</div>

Уровень высшей (высшей (высшей математики)) для меня 🙃 ))

---

<div class="post-metadata">

**Author:** ![vadym-f](https://sea2.discourse-cdn.com/zcash/user_avatar/forum.zcashcommunity.com/vadym-f/32/11547_2.png) [@vadym-f](https://forum.zcashcommunity.com/u/vadym-f)\
**Post date:** [October 9, 2021, 2:01pm UTC](https://forum.zcashcommunity.com/t/topic/39684/5 "2021-10-09T14:01:17Z")

</div>

В этом тексте реализована “детская” проверка решения Судоку с игровыми картам, в фотографиях на сайте Наора (url в тексте). Это объяснять бессмысленно, нужно посмотреть.

Если для кого-нибудь R1CS кажется малопонятным - есть пример с “таблицей умножения на секретную тройку” в разделе 7, это уровень первого класса.

Новым (по сравнению с оригинальной работой Bowe-Maxwell) является полиномиальное представление множеств игральных карт. Уровень сложности - раскрыть скобки с иксами и упростить, седьмой класс.