О шифрах Venus и Mango, скрывшие одну и ту же инженерную проблему при очень разных рыночных условиях

Одна зависела от устаревшего оракульного пола во время обвала, тогда как другая — от цен, раздуваемых тонкой ликвидностью

Ни один протокол не дал сбой из‑за некорректного расчёта в смарт‑контракте

Исполнительный слой оставался внутренне согласованным

Сбой произошёл в предположении, что корректная цена равна надёжному рыночному сигналу

Эта разница становится дорогостоящей, когда рыночные условия меняются быстрее, чем неизменяемый код

Большинство протоколов отвечает тем, что в исполнение встраивает больше защиты через предохранители (circuit breakers), резервные оракулы и дополнительную валидационную логику

Каждая такая мера снижает один класс рисков, но одновременно усложняет систему для аудита, обновлений и координации по мере появления новых режимов отказа

Этот компромисс заставил меня уделять больше внимания архитектурам, которые разделяют политику и исполнение, вместо того чтобы просить контракты понимать каждый рыночный частный случай

Newton Protocol — один из примеров, исследующих это направление: он использует программируемые политики Rego, которые оцениваются до исполнения, а не раздувает логику прямо в контрактах

Расхождение оракулов, условия depeg или качество ликвидности становятся решениями политики, а не навсегда закреплёнными допущениями внутри неизменяемого кода

Если эти условия не выполняются, никакого криптографического подтверждения (attestation) не производится, и выполнение просто останавливается

Станет ли такой подход распространённым — пока неясно

Он добавляет ещё один слой координации, и многие команды могут продолжать принимать контекст‑слепое исполнение, потому что более простые архитектуры легче запускать и поддерживать

Но если в итоге автономные агенты начнут распределять капитал без постоянного надзора человека, более сложная инфраструктурная проблема может оказаться не в том, что транзакции выполняются неправильно

Возможно, проблема в том, что нужно решать, какие рыночные допущения должны превращаться в политику, а какие не должны становиться кодом
@NewtonProtocol $NEWT #newt $LAB $EVAA