Академический Документы
Профессиональный Документы
Культура Документы
________________________________________________________________________________
УДК 004
Рудик Е.Д.
студент
Санкт–Петербургский государственный экономический университет
(г. Санкт–Петербург, Россия)
___________________________ ___________________________
720
Международный научный журнал «ВЕСТНИК НАУКИ» № 1 (70) Том 2. ЯНВАРЬ 2024 г.
________________________________________________________________________________
языки программирования, такие как C++, Java или Python, считаются полными
по Тьюрингу. Можно осуществить на этих языках все вычисления, которые
может выполнить машина Тьюринга или любой компьютер. Насколько это на
самом деле легко – другой вопрос, но по крайней мере теоретически эти языки
достаточно мощны для этого.
Однако это не относится к небольшому специальному языку: Bitcoin
Script. Все выходы в сети криптовалюты обеспечиваются небольшой
программой, выходные данные которой решают, можно ли потратить
соответствующий BTC или нет. Здесь они намеренно полагаются на очень
ограниченный набор команд и ограниченное пространство для хранения, чтобы
участники сети не подвергались утопически сложным и трудоемким проверкам
транзакций. BitVM ничего в этом не изменит, поскольку он будет использоваться
где угодно, в первую очередь за пределами сети биткоина.
Основной принцип.
Почти сравнимая с моделью безопасности канала Lightning, BitVM не
полагается на прямую проверку, а вместо этого предполагает, что фактическая
попытка мошенничества всегда будет оспорена заинтересованным лицом. Если
участник канала Lightning пытается обмануть своего коллегу, например,
публикуя устаревшее состояние канала в сети биткоина, существует заранее
определенный механизм, с помощью которого мошенник может быть наказан.
Этот базовый принцип доведен до крайности в BitVM. В идеале все
расчеты происходят за пределами сети биткоина, например, непосредственно
между двумя участниками. Эти «расчеты» могут быть чем угодно. Например, в
игре в шахматы, победитель может выиграть определенное количество BTC.
Проблема: что будет делать победитель партии, если ему откажут в выигрыше?
Эту фундаментальную проблему доверия в сложных соглашениях
необходимо каким–то образом обойти, вовлекая сеть биткоина в качестве
независимой стороны, не обременяя ее реальной сложностью, то есть игрой в
шахматы. Хотя это совсем не просто, BitVM предлагает элегантный, хотя и
сложный подход к этому.
___________________________ ___________________________
721
Международный научный журнал «ВЕСТНИК НАУКИ» № 1 (70) Том 2. ЯНВАРЬ 2024 г.
________________________________________________________________________________
___________________________ ___________________________
722
Международный научный журнал «ВЕСТНИК НАУКИ» № 1 (70) Том 2. ЯНВАРЬ 2024 г.
________________________________________________________________________________
СПИСОК ЛИТЕРАТУРЫ:
___________________________ ___________________________
723
Международный научный журнал «ВЕСТНИК НАУКИ» № 1 (70) Том 2. ЯНВАРЬ 2024 г.
________________________________________________________________________________
Rudik Е.D.
St. Petersburg State University of Economics
(St. Petersburg, Russia)
Abstract: enhanced capabilities of BTC increase the competitiveness of the project and
reduce the demand for technical solutions of altcoins. With BitVM, a new approach is proposed to
test any more complex computations over the network. This paper discusses what exactly this is, what
the technical implementation looks like and what the advantages and disadvantages of BitVM are.
___________________________ ___________________________
724