Перейти к публикации

Zero Knowledge (zk), SNARK, STARK, BulletProofs


cp287

Рекомендованные сообщения

В этой теме буду собирать ссылки на интересные материалы по Zero Knowledge (далее zk, доказательство нулевого разглашения), SNARK, STARK, BulletProofs вне зависимости от принадлежности к различным проектам.

Ссылка на сообщение
  • Ответы 66
  • Создано
  • Последний ответ

Top Posters In This Topic

Top Posters In This Topic

Popular Posts

В этой теме буду собирать ссылки на интересные материалы по Zero Knowledge (далее zk, доказательство нулевого разглашения), SNARK, STARK, BulletProofs вне зависимости от принадлежности к различным про

Ребята из Crypto Econ провели классный митап в Москве по теме Zero Knowledge и опубликовали видео на своём канале. В качестве докладчиков выступают Сергей Прилуцкий, Петр Королев и Александр Власов :

Что такое доказательство с нулевым разглашением       (en) https://medium.com/coinmonks/zero-knowledge-proofs-explained-727b9b8e0e5e

Posted Images

0x делает какой-то DEX на основе STARK. 

 

Источник: https://medium.com/8xprotocol/protocol-weekly-37-4c2511366160https://blog.0xproject.com/relayer-report-20-0x-roadmap-and-launch-season-f807356e460a

 

Loopring 3.0 будет использовать SNARK для масштабируемости: https://medium.com/loopring-protocol/loopring-protocol-3-0-zksnarks-for-scalability-845b35a8b75b

Ссылка на сообщение

Университет Technion падаёт в суд на своего профессора, Ben-Sasson, и хочет получить 50% известной компании StarkWare (Виталик и Равикант в инвесторах), так как Ben-Sasson нарушил правила и создал частную компанию для коммерциализации своих научных исследований (en): https://www.calcalistech.com/ctech/articles/0,7340,L-3760876,00.html

Ссылка на сообщение

OCaml фронт-енд для написания R1CS Snarks под названием snarky от Coda Protocol: https://github.com/o1-labs/snarky

 

Большое количество материала от Coda Protocol на основном сайте в рубрике Knowledge Base: https://codaprotocol.com/

Ссылка на сообщение

Реализация zk-SNARK на субстрате (Polkadot) под очень оригинальным названием Zerochain (en): https://medium.com/layerx/announcing-zerochain-5b08e158355d

Используется библиотека Bellman от Zcash, реализация выполнена в виде OSS.

 

Ссылка на сообщение

Начальные материалы для изучения и понимания zero knowledge (нулевого разглашения):

Объясняем ZK-Proof, чтобы поняли и дети (ру): https://agryaznov.com/crypto-tech/2018/08/13/ZK-Proof-for-kids.html

Введение в zk-SNARKS с примерами (ру, перевод😞https://habr.com/ru/post/342262/

Применение технологии zk-STARK в децентрализованных биржах (Resistance и StarkWare) (ру): https://zen.yandex.ru/media/id/5c11686b50fd0800aa141264/primenenie-tehnologii-zkstark-v-decentralizovannyh-birjah-resistance-i-starkware-5cb2075f57a23700b3c31dae

Understanding Zero-knowledge proofs through illustrated examples (с Waldo в главной роли)(en): https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99

photo_2019-05-12_22-55-26.thumb.jpg.a7248329527a856ec3eb5e179ea28e1b.jpg

 

Ссылка на сообщение

Stellar Developers спроектировали виртуальную машину с нулевым знанием, ZkVM, что позволит транзакциям на Stellar быть более конфиденциальными и гибкими.

ZkVM спроектирован как бухгалтерская книга с несколькими активами, которую можно использовать с консенсус-протоколом Stellar.ZkVM может обрабатывать большие объемы транзакций, разрешать более широкое использование полных валидаторов, защищать конфиденциальные данные и поддерживать создание настраиваемого протокола поверх существующих правил блокчейна без необходимости обновления сети. Stellar выиграет от любой из этих функций.

 

Источник: https://medium.com/stellar-developers-blog/zkvm-a-new-design-for-fast-confidential-smart-contracts-d1122890d9ae

Ссылка на сообщение

Виталик немного объясняет STARKs с доказательствами через полиномы (en): https://vitalik.ca/general/2017/11/09/starks_part_1.html

Adam Luciano делает введение в zk-STARKs (en): https://medium.com/coinmonks/zk-starks-create-verifiable-trust-even-against-quantum-computers-dd9c6a2bb13d

Ссылка на сообщение

Основанный на Go порт учебного кода zk-STARK/MIMC Виталика Бутерина, в котором подробно исследуется статья Ben-Sasson'а от 2018-го года о быстром Reed-Solomon интерактивном оракуле доказательства близости (en): https://github.com/wolkdb/deepblockchains/tree/master/stark

Ссылка на сообщение

Matter Labs запустили тест и смогли достичь 100 транзакций с нулевым разглашением в секунду. Возможно было достичь большего, но мощности Digital Ocean не позволили им это сделать: 

 

Ссылка на сообщение

Сравнение различных zk-решений: SNARKs, STARKs и Bulletproofs: https://github.com/gluk64/awesome-zero-knowledge-proofs

Хорошая энциклопедия по zk-решениям: https://tlu.tarilabs.com/cryptography/bulletproofs-and-mimblewimble/MainReport.html

Ссылка на сообщение

Статья из двух частей, дающая хорошее введение для тех, кто начинает знакомиться с доказательством нулевого разглашения (zk):

https://www.bitrates.com/news/p/zero-knowledge-proofs-part-one-the-cryptographic-protocols-and-their-variations

https://www.bitrates.com/news/p/part-2-of-2-zero-knowledge-proofs-implementations-and-applications-zcash-to-ren

 

Ссылка на сообщение

Nightfall объединяет набор интеллектуальных контрактов и микросервисов, а также инструментарий ZoKrates zk-snark, позволяющий передавать стандартные токены ERC-20 и ERC-721 в Ethereum с полной конфиденциальностью: https://github.com/EYBlockchain/nightfall

Ссылка на сообщение

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Гость
Ответить в тему...

×   Вставлено в виде отформатированного текста.   Вставить в виде обычного текста

  Разрешено не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отобразить как ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

×   Вы не можете вставить изображения напрямую. Загрузите или вставьте изображения по ссылке.

×
×
  • Создать...