Jimmy Song — розробник, викладач і автор Programming Bitcoin. На прикладах мовою Python він пояснює транзакції, ключі та цифрові підписи Bitcoin. Підхід практичний: замість покладатися на готовий застосунок читач поступово створює невеликі інструменти й досліджує результати. Крім технічних книжок, Song публікує погляди на гроші та суспільство; вони потребують інших доказів, ніж програмістська вправа.
Біографія Song описує розробку програм і семінари Programming Blockchain. O’Reilly називає його автором Programming Bitcoin. Їх об’єднує навчання через власну спробу: назва принципу ще не робить його зрозумілим. Щоб запрограмувати його, треба знати вхідні дані й очікуваний результат. Проте назва розробник сама не означає супроводжувача Bitcoin Core чи право визначати правила мережі за інших користувачів. [1] [2]
Programming Bitcoin вийшла в O’Reilly у 2019 році. Спочатку йдуть скінченні поля — обчислення в обмеженій множині елементів за точними правилами — та еліптичні криві, математична основа розглянутих підписів. Далі з’являються ключі, підписи, транзакції й повідомлення між комп’ютерами. Читач складає бібліотеку Python, набір функцій для використання в інших програмах. Не потрібно просто вірити, що підпис працює: можна простежити обчислення. Це знайомство з внутрішньою роботою гаманця, а не лише з його кнопками. [2]
Уявімо програму, яка отримала транзакцію. Спершу вона має розпізнати її частини; такий розбір даних називають парсингом. Звичайний вхід посилається на попередній вихід — конкретну суму з умовами витрачання. Потім треба перевірити виконання умов, наприклад вимогу підпису. Навіть правильний підпис сам не доводить, що згаданий вихід залишається невитраченим. Для цього потрібен стан ланцюга. Вправи Song розділяють читабельність даних, дозвіл витрачати й дійсність усієї транзакції. [3]
Математично правильний результат важливий, але безпечній програмі підписування потрібно більше. libsecp256k1 також враховує сталий час виконання та доступ до пам’яті під час роботи з таємним ключем. Мета — не дозволити спостерігачеві дізнатися про секрет із перебігу обчислення. Це інше завдання, ніж правильно виконана вправа. Код для розуміння принципу не може автоматично замінити перевірену криптографічну бібліотеку для реальних коштів, навіть якщо обидва правильно перевіряють той самий тестовий підпис. [4]
Репозиторій programmingbitcoin містить матеріали розділів та інструкції Jupyter Notebook, середовища, яке поєднує текст, виконуваний код і результати. Відтворення залежить також від версії коду та залежностей — інших використаних пакетів. Давня інструкція встановлення не є автоматично порадою щодо сучасних версій. Записане середовище допомагає пояснити різницю результатів; успіх на чужому комп’ютері не замінює перевірки власного запуску. [5]
Книжка 2019 року дає основу для подальшого читання документації. Не слід припускати, що вона охоплює всі пізніші розширення. Наприклад, libsecp256k1 нині також пропонує Schnorr signatures за BIP340, специфікацією іншої схеми підпису в Bitcoin. Потрібно розрізняти зміст конкретного видання та функції сучасної бібліотеки. Для її інтерфейсу, тобто способу виклику функцій, важлива документація відповідної версії. [2] [4]
У Fiat Ruins Everything 2023 року Song стверджує, що фіатні гроші, звичайні державні валюти, суттєво впливають на установи, а Bitcoin пропонує виправлення. Тут читаємо авторське тлумачення суспільства, не процедуру перевірки підпису. Така теза потребує власних аргументів і доказів. Правильна криптографічна вправа не доводить суспільної тези; економічна незгода сама не спростовує технічного пояснення. Кожну частину його роботи можна оцінювати за належними доказами. [6]
Сайт Song пояснює перевірку фото предмета з автографом за допомогою PGP, інструмента цифрових підписів, та SHA-256, функції створення відбитка файла. Однаковий відбиток допомагає перевірити відповідність файла; дійсний підпис пов’язує підписані дані з ключем. Ще треба встановити, кому ключ належить. Під час цієї ревізії сторінка непослідовно позначає старий і новий ключі, тож скорочений ідентифікатор не подаємо як підтверджену особу. Перевірка даних і довіра до їх походження — різні кроки. [7]
Для повної картини прочитайте також Alex Gladstein, Bitcoin Script, Private Key. На цю статтю також посилаються Hackers Congress Paralelní Polis, Cathie Wood.