На саммите Web3 Scholars Summit соучредитель CertiK и профессор Йельского университета Чжун Шао представил революционную структуру: LiDO и LiDO-DAG.

Эта инновация предоставляет первые формальные, проверенные машинным способом доказательства безопасности и активности для современных протоколов консенсуса, таких как Jolteon, Narwhal и Bullshark.

Уточняя модели безопасности высокого уровня до кода уровня реализации, LiDO закладывает основу для поддающегося проверке безопасного, масштабируемого и децентрализованного будущего.

Безопасность – это не только предотвращение эксплойтов, это создание систем, которым мы можем доверять с самого начала.