Readlist - kroitor/p2p GitHub Wiki

Здесь будет собираться категоризированный список статей по разным темам.

• DAG

  • SPECTRE: Serialization of Proof-of-Work Events, Confirming Transactions via Recursive Election вводная статья про алгоритм консенсуса SPECTRE от его автора. Куда читабельнее чем пейпер. См. также критику там в комментариях, и еще на реддите.

  • Flaws In DAG As A Decentralised Type Of Consensus System про концептуальные проблемы с консенсусом на графах.

• Distributed Consensus

  • Impossibility of Distributed Consensus with One Faulty Process классическая работа, где формально доказывается невозможность детерминистического консенсуса в распределённой системе. Т.е. возможен лишь probabilistic consensus, что и представляет из себя и Биткоин, и все подобное ему.

• Elliptic Curves

  • Elliptic Curve Cryptography: A Gentle Introduction статья с теорией + анимациями, демонстрирующими правила сложения точек на кривых. См. также другие статьи в этом блоге на эту тему.

  • Bitcoin in a Nutshell: Cryptography статья на Хабре про ECDSA применительно к биткоину.

• Zero knowledge

  • Fiat-Shamir heuristic (wiki) насколько я понял, некий общий алгоритм преобразования интерактивного ZK в неинтерактивный (NIZK). В качестве примера приводится описание протокола для дискретного логарифма.

  • zkSNARK

    • zkSNARK in a Nutshell тутор из блога Ethereum
    • QAP from Zero to Hero детальный разбор механики QAP от бутерина
    • vnTinyRAM пост Mike Hearn

• Abstract math

  • Axiom of Choice: The Programmers Guide хорошее объяснение сути проблемы с «аксиомой выбора» в математике.

  • Первая проблема Гильберта: континуум-гипотеза про бесконечные множества Кантора и доказанную независимость континуум-гипотезы от других аксиом теории множеств (чем-то похоже на историю с аксиомой о параллельных прямых в евклидовой геометрии).

• Логика

  • Интуиционистская логика — образованная путём исключения из классической логики «закона исключенного третьего» и «закона двойного отрицания» — таким образом, становятся невозможными неконструктивные доказательства — демонстрирующие наличие чего-либо без демонстрации примера такого объекта. Продукт такого течения мысли в математике как «конструктивизм».

  • Параконсистентная логика в которой допускаются противоречия путём исключения из классической логики принципа «из противоречия следует всё что угодно» (aka Principle of explosion).

• Квантовая механика

  • Квантовые шахматы квантмех на примере модифицированных шахмат

  • Мифы физиков о квантовой механике пост про современный квантмех с точки зрения математика