Больше денег: что такое Ethereum и как блокчейн меняет мир

Еще одно крайне недооцененное предложение – использовать алгоритмы управления, которые намеренно замедляют происходящие процессы. Хардфорк The DAO, предложенный после атаки для спасения хранящихся средств, был возможен именно благодаря набору правил внутри The DAO, требующих для каждого действия длительной задержки. Также заслуживает внимания метод формальной проверки, где одни компьютерные программы автоматически верифицируют другие, чтобы те действовали согласно заданным целям.

Доказать «честность» формально невозможно, поскольку ее очень сложно оценить, но можно обеспечить хотя бы частичную гарантию снижения рисков. Например, формально подтвердить, что определенный вид действий можно совершить не ранее, чем через семь дней, или нельзя совершать в ближайшие 48 часов, если кураторы данного ДАО не проголосуют за обратное. В контексте ИИ такие подтверждения могут предотвратить определенные виды простых ошибок в функции вознаграждения, из-за которых совершенно нежелательное поведение будет казаться ИИ чрезвычайно полезным. Конечно, другие сообщества размышляют о формальной верификации уже много лет, но сейчас изучают возможности для ее применения в новых условиях.

Еще одна концепция, которая давно уже на слуху в сфере безопасности ИИ, может быть очень полезна при создании экономических систем с ДАО: речь идет о теории сверхрациональных решений – своего рода попытке преодолеть дилемму заключенного через исходный код, лояльно настроенный по отношению к агентам, которые обязуются его запускать. Один из примеров, где действие доступно агентам с открытым исходным кодом, но не агентам – «черным ящикам», назван в коротком рассказе Скотта Александера «рукопожатием ценностей»: два агента могут договориться, что обязуются стремиться к результату, в равной степени удовлетворяющему их личным целям. Раньше такие концепции были уделом научной фантастики, но сегодня ДАО-футархии способны воплотить их в жизнь. Если брать шире, ДАО вполне могут обязать социальные институты безукоризненно «исполнять исходный код», обладающий определенными свойствами.

То, что произошло с The DAO, – лишь первый из множества экспериментов, которые мы будем наблюдать в этом году и в следующем. Различные ДАО, учась на взаимных ошибках, начнут предлагать совершенно разные новаторские решения для алгоритмов управления, политики безопасности программного обеспечения, систем кураторства, медленных и поэтапных процессов запуска и развертывания проектов, а также смогут предоставить формально подтвержденные гарантии защиты от криптоэкономического шторма.

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

Философия proof of stake

MEDIUM.COM/@VITALIKBUTERIN

30 декабря 2016 года

Системы вроде Ethereum (а также Bitcoin, NXT, Bitshares и так далее) сформировали принципиально новый класс криптоэкономических организмов – децентрализованных организаций, не подвластных какой-либо юрисдикции, которые полностью существуют в киберпространстве и действуют на основе комбинации криптографии, экономики и социального консенсуса. Чем-то они похожи на BitTorrent, но вместе с тем и непохожи, поскольку в BitTorrent нет понятия состояния – а это очень важное различие. Иногда их описывают как децентрализованные автономные корпорации, но и это не совсем так – например, хардфорк Microsoft невозможен. Они напоминают проекты программного обеспечения с открытым исходным кодом, но и здесь тоже есть различия: сделать форк блокчейна не так просто, как, например, форк OpenOffice[33].

Эти криптоэкономические сети бывают самыми разными – PoW на основе ASIC, PoW на основе GPU, наивный PoS, делегированный PoS (DPoS) и ожидаемый в скором времени PoS по принципу Casper, – и каждая обязательно подкрепляется собственной философией. Хороший пример – максималистское видение proof of work, где «тот самый» правильный блокчейн (в единственном числе) определяется как цепочка, на создание которой майнеры потратили наибольшее количество экономического капитала. Изначально это было простое правило выбора ответвлений внутри протокола, но во многих случаях его возводили в ранг священного принципа. Платформа Bitshares сделала из DPoS еще одну самодостаточную философию, основополагающий принцип которой можно описать еще проще: голосование акционеров.