#L2 :: статья. очень хороший материал (а, быть может, лучшая статья по теме) от коллег из кибер-академии:
https://cyberacademy-dev.medium.com/what-is-blockchain-layer-2-solutions-304408000675

UPD. Polygon, Plasma, L2-роллапы и многое другое
Ключевики: CyberacAdemy, Полигон, сайдчейны, роллапы, zk-rollups, #ZKP.

#ZKP: (продолжаю писать именно так, а не ZKP, потому как это и быстрее, и шире)… за последнее время удалось пройтись по ✓ https://zks.org - несмотря на дамп после airdrop у проекта всё ещё масса достоинств
✓ https://aztec.network/connect/ - часть проекта сворачивается
✓ https://elusiv.io - zkp & solana

но всё же настоятельно рекомендую изучить вот ещё что:
* https://blog.celer.network/2023/03/01/the-pantheon-of-zero-knowledge-proof-development-frameworks/
* https://www.bankless.com/whats-new-with-zks
* https://www.researchgate.net/publication/221591943_Zero-knowledge_from_secure_multiparty_computation

* https://web.cs.ucla.edu/~rafail/PUBLIC/77.pdf
* https://github.com/zkoranges/zkPoEX
* https://t.me/synergis/152991 - а это уже целая подборка

zkEVM: когда-то мне пришлось уйти с ЖЖ, потом с Habr, потом с Golos/Steem, потом с Readdle, а сейчас и с HUB.Forklog. Нет, статьи на Форклоге будут, но будут в основной ленте: так удобней для всех. Поэтому постепенно буду делать то, что хотел всегда - создам свой децентрализованный блог на Lens или чём-то ещё (пока изучаю). Архив помещу в Storj/IPFS и другие решения и будет единый сайт с не единой точкой отказа. А пока - рекомендую изучить вольный экспресс-перевод важного исследования: https://teletype.in/@menaskop/zkevm-zksync-and-others

#ZKP

zkEVM: https://teletype.in/@menaskop/zk-evm - различные типы zk-EVM (#ZKP)

#ZKP - это наступившее будущее. дополнение к посту более раннему: https://teletype.in/@menaskop/zk-rollups-2023
пост: https://t.me/web3news/4266

#ZKP #обучение

Книга RareSkills о нулевом знании - самый удобный для программистов учебник по доказательству нулевых знаний.

Эта книга - не набор тем по ZK. Это подмножество мнений о том, что нужно знать, чтобы с нуля написать практический проверяющий и верификатор нулевых знаний (ZK-SNARK).

Книга RareSkills "Книга нулевых знаний" в значительной степени ориентирована на программиста, стремящегося получить конкретное понимание. В книге много фрагментов кода и демонстрации использования реальных криптографических библиотек. Мы используем математические обозначения, но пишем их таким образом, что перевод их в исходный код - это лишь небольшой скачок.

Groth16 - это алгоритм, используемый tornado cash (и многими другими) для реализации доказательств нулевых знаний на цепочке. Мы считаем, что он является оптимальной отправной точкой для вашего обучения, а наша книга - наиболее прямой путь к полному пониманию этого алгоритма.

Оглавление

Глава 1: Теория множеств
Глава 2: Теория групп
Глава 3: Кольца и поля
Глава 4: Сложение эллиптических кривых
Глава 5: Эллиптические кривые в конечных полях
Глава 6: Билинейные сопряжения
Глава 7: Арифметические цепи
Глава 8: Зашифрованное оценивание полиномов
Глава 9: Системы ограничений ранга 1
Глава 10: Доказательства с нулевым знанием в системах ограничений ранга 1
Глава 11: Квадратичные арифметические программы
Глава 12: R1CS - QAP в Python
Глава 13: Программы квадратичной арифметики над эллиптическими кривыми
Глава 14: Объяснение Groth16
Глава 15: Circom и Circomlib

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

Принцип работы Tornado Cash
Загадки нулевого знания в Circom
Загадки нулевого знания в Noir
Языки программирования с нулевыми знаниями
Noir и Next JS

#ZKP: подборка... пока без комментов, потому что по ним надо писать лонгрид, но сейчас можете просто начать:

◦ https://www.youtube.com/watch?v=r-UMosEJqbk
◦ https://101blockchains.com/zero-knowledge-proof/
◦ https://www.iacr.org/archive/asiacrypt2010/6477178/6477178.pdf
◦ https://www.schneier.com/blog/archives/2007/11/the_strange_sto.html
◦ https://lu.ma/zk-bootcamp
◦ https://medium.com/starkware/validity-proofs-vs-fraud-proofs-strike-back-4d0bf90eed15
◦ https://medium.com/@mehialiabadi/plonk-vs-groth16-50254c157196
◦ https://github.com/interstellar/zkvm
◦ https://github.com/arkworks-rs/snark
◦ https://www.trailofbits.com/documents/Unintended_Centralities_in_Distributed_Ledgers.pdf

#ZKP: это - наступившее будущее и самая важная часть Web 3.0 на сегодня. для меня - так точно. но все обсуждают, опять и снова, доказательство с нулевым разглашением как технологию, а ведь это - огромный спектр бизнес-кейсов. 

собрал несколько:
1. Криптовалюты и блокчейн: отмечу ради исторической справедливости. Zcash, где ZKP используется для обеспечения анонимности транзакций.
2. Идентификация и аутентификация: например, аутентификация без пароля - или (в корпоративной среде) ZKP может использоваться для демонстрации прав доступа сотрудника к определённым ресурсам, не раскрывая полный список его привилегий. 
3. Информационная безопасность: подтверждение обнаружения угроз: ZKP может использоваться для доказательства обнаружения угрозы или вредоносной активности без раскрытия конфиденциальных данных. отличное развитие bug-bounty, как видится. 
4. Личная конфиденциальность: ZKP может быть применён для анонимной проверки того, что возраст пользователя соответствует определённым требованиям, без раскрытия точного возраста.
5. Безопасность IoT (Интернета вещей): аутентификация IoT-устройств: ZKP может обеспечивать безопасную аутентификацию между IoT-устройствами, гарантируя, что только доверенные устройства могут взаимодействовать друг с другом.
6. Секретное голосование: ZKP может использоваться для обеспечения анонимности при электронных голосованиях, позволяя избирателям проверять свои голоса, но не раскрывая, за кого они проголосовали. и сделать это намного круче, чем стандартное тайное голосование. 
7. Конфиденциальные сделки в финансовых приложениях: в финансовых приложениях ZKP может гарантировать конфиденциальность финансовых транзакций, позволяя сторонам подтверждать подлинность операции, но не раскрывая сумму или другие детали. особенно - при выплате з/п. 

продолжение? следует, если пост будет интересен.

#ZKP: если внимательно читаете канал, то новость о том, что "роллап-протокол BitcoinOS успешно верифицировал первую транзакцию на базе доказательства с нулевым разглашением (ZK) в основной сети биткоина", - навряд ли прошла мимо вас. разбор этой тендеции буду делать, но ближе к концу года, пока же рекомендую 2 вещи:

01. новость, если пропустили: https://forklog.com/news/v-mejnnete-bitkoina-zarabotal-pervyj-zk-protokol;
02. покопаться в ZKP для разных сетей (EVM & Bitcoin - мой приоритет, но на самом деле там есть, куда рыть ещё).

а уж потом - и обсудим)

#ZKP: судя по обсуждения к предыдущему посту - пока даже в комьюнити @synergis нет понимания полноценного Zero Knowledge механик, а они - одни из главных и для криптофшора, и для будущего Web 3.0 & Web3 в целом. поэтому, если вам интересен подобный митап этой осенью - пишите, сделаем. куда писать? в комментарии к посту.

#год2025: важный пост в день генезис-блока. если вы - постоянный читатель канала, то всё, что ниже, систематизирует ваши знания о нём; если вы - неофит, то это же поможет вам быстрее сориентироваться. итак… 

1. ключевых хештегов довольно много, но вот те, с которых стоит начать: #DeFi, #DePin (#IoT + blockchain), #DeSoc (ДСС), #фа (Фундаментальный Анализ), #ReFi, #AI (ИИ), #airdrop, #токеномика, #PoS, #ZKP, #L2 и т.д. 
2. базовые темы, которые навряд ли найдёте в других местах: а) темпография; б) транзакционная репутация; в) криптофшор; г) программируемые ассеты и #NFT2.0; д) #SaO (отсюда рождены AI-агенты, например). 
3. значимые посты прошлых лет: 2022 и 2023. 
4. общие теги: #видео, #книга, #коротко. бесплатные #книги - здесь. 
5. сам канал представляет собой гремучую смесь на стыке экономики, юриспруденции, технологии и философии. 
6. все вопросы обсуждаются в комментариях,  а они скреплены навечно с группой @synergis (от DAO Synergis). 
7. в канале много эссе, статей, исследований и книг, но также много практических кейсов, лайфхаков и разделов “вопрос-ответ”. 

не стесняйтесь задавать вопросы, но помните, что база нашего комьюнити - труд и творчество, а не потребление aka консьюмеризм.

#ZKP: одно один из векторов, который мракобесию государств противостоит (хоть и не всегда явно). вот ряд новых сервисов в этом направлении:

01. https://privacypools.com: который недавно интегрировал USDs :: приватные #DeFi
02. https://diplomaverify.dream.space & https://zkmatch.dream.space :: ZKP-верификаторы
03. https://zkpass.org :: одно из самых известных решений с интеграциями идентификации

если вы ещё не в курсе про всё это и подобное, то вам срочно сюда: https://ru.wikipedia.org/wiki/Доказательство_с_нулевым_разглашением

#ZKP: подборка прошлых материалов:

00. начало: https://hub.forklog.com/dokazatelstvo-nulevogo-razglasheniya-informatsii-vvodnoe-rukovodstvo/
01. ввод:
-- https://t.me/web3news/2233
-- https://t.me/web3news/3782

02. zkSnark vs. zkStark:
-- https://t.me/web3news/3148
-- https://hub.forklog.com/zk-starks-vs-zk-snarks-razlichiya-v-tehnologiyah/

03. zk-кейсы:
-- https://teletype.in/@menaskop/zk-evm
-- https://t.me/web3news/5190
-- https://hub.forklog.com/obzor-arhitektury-scroll/
-- https://t.me/web3news/3892

04. разработка:
-- https://t.me/web3news/3264
-- https://t.me/web3news/3667

#ZKP: собственно, один из немногих боковых трендов, который сформировался окончальтельно за прошедшие 5 лет и может вполне противостоять CBDC-бесию.

поэтому, если вы, как и я, углубляетесь в эту тему в поиске инересных трендов, то вот вам работы, на которые многие ссылаются:
1. The Knowledge Complexity of Interactive Proof-Systems - аккурат моя ровесница, так что за 40 лет цитировали её не раз;
2. How To Prove Yourself: Practical Solutions to Identification and Signature Problems - цифровое переиздание от 1986. 
3. NONINTERACTIVE ZERO-KNOWLEDGE - от 1991-го
4. Proofs that Yield Nothing But Their Validity All Languages in NP Have Zero-Knowledge Proof Systems - ещё одна важная работа того же года
5. Non-interactive zero-knowledge and its applications - 1988-й год на связи. 

6. Zerocash: Decentralized Anonymous Payments from Bitcoin - это уже ближе к нам и практике Web3 именно - 2013-й; 
7. Pinocchio: Nearly Practical Verifiable Computation - 2016;
8. Bulletproofs: Short Proofs for Confidential Transactions and More
9. Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings;
10. Halo: Recursive Proof Composition without a Trusted Setup;
11. PLONK: Permutations over Lagrange-bases for oecumenical noninteractive arguments of knowledge. 

конечно, это далеко не всё (см., скажем, Wiki), но по хештегу ZKP и смежным ключевикам в канале есть ещё много.