восьмой день исследований, и сегодня я закончил мысль с вчерашнего дня. страницы исследования указывают три гарантии, но в литературе по безопасности гарантия — это всегда только вторая половина предложения. первая половина — «если предположить x». сегодня я собрал все x.
предположение первое — сами цепочки. каждая гарантия наследует собственную безопасность биткоина и эфириума. если биткоин переживает глубокие реорганизации, скрипты стейкинга и их тайм-локи начинают шататься вместе с ним. если эфириум останавливается, доказательствам выкупа tbv нечего доказывать против этого. это самое сильное предположение, доступное в этой индустрии.
предположение второе — честность порога в комитете завета. выполнение слэшинга требует большинства консенсуса, то есть теорема о слэшируемой безопасности выполняется только пока в живых и честных остается большинство. в работах это рассматривается как остаточный человеческий фактор, который протокол стремится минимизировать.
предположение третье — бдительность. процедура вызова babe предполагает, что кто-то честный бодрствует в окне вызова. безопасность сохраняется, если хотя бы один честный наблюдатель успевает вовремя поймать мошенническое утверждение. криптография не требует, чтобы все были честными; ей нужно, чтобы кто-то был внимателен.
предположение четвертое — экономическая рациональность. eots заставляет раскрытие эквивокации показывать ваш ключ. иррациональный актор, готовый сжечь собственный стейк, чтобы навредить bsn, сдерживается лишь величиной понесённого им ущерба. слэшинг — это цена, а цены управляют людьми, которые умеют считать.
теперь синтез. упорядочив по хрупкости, мой вывод таков: бдительность — самая мягкая предпосылка, честность комитета — вторая, экономическая рациональность — третья, а безопасность цепочек — самая трудная. мульти-сигнатуры, то, что харун выкопал по caps, и поэтапные развёртывания — всё группируется вокруг двух самых мягких предположений. строительные леса возведены ровно там, где теоремы слабее всего.
это то, как выглядит исследовательский протокол изнутри: не отсутствие предположений, а честное сопоставление их.
завтра я хочу протестировать, как эти предположения складываются, когда поверх множества сетей делается мульти-стейкинг одного монетного актива.
@BabylonLabs_io #baby $BABY
предположение первое — сами цепочки. каждая гарантия наследует собственную безопасность биткоина и эфириума. если биткоин переживает глубокие реорганизации, скрипты стейкинга и их тайм-локи начинают шататься вместе с ним. если эфириум останавливается, доказательствам выкупа tbv нечего доказывать против этого. это самое сильное предположение, доступное в этой индустрии.
предположение второе — честность порога в комитете завета. выполнение слэшинга требует большинства консенсуса, то есть теорема о слэшируемой безопасности выполняется только пока в живых и честных остается большинство. в работах это рассматривается как остаточный человеческий фактор, который протокол стремится минимизировать.
предположение третье — бдительность. процедура вызова babe предполагает, что кто-то честный бодрствует в окне вызова. безопасность сохраняется, если хотя бы один честный наблюдатель успевает вовремя поймать мошенническое утверждение. криптография не требует, чтобы все были честными; ей нужно, чтобы кто-то был внимателен.
предположение четвертое — экономическая рациональность. eots заставляет раскрытие эквивокации показывать ваш ключ. иррациональный актор, готовый сжечь собственный стейк, чтобы навредить bsn, сдерживается лишь величиной понесённого им ущерба. слэшинг — это цена, а цены управляют людьми, которые умеют считать.
теперь синтез. упорядочив по хрупкости, мой вывод таков: бдительность — самая мягкая предпосылка, честность комитета — вторая, экономическая рациональность — третья, а безопасность цепочек — самая трудная. мульти-сигнатуры, то, что харун выкопал по caps, и поэтапные развёртывания — всё группируется вокруг двух самых мягких предположений. строительные леса возведены ровно там, где теоремы слабее всего.
это то, как выглядит исследовательский протокол изнутри: не отсутствие предположений, а честное сопоставление их.
завтра я хочу протестировать, как эти предположения складываются, когда поверх множества сетей делается мульти-стейкинг одного монетного актива.
@BabylonLabs_io #baby $BABY