У нас вы можете посмотреть бесплатно Towards Building Trustworthy BlockChain Systems with Ronghui Gu или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Ronghui Gu, Assistant Professor of Computer Science, describes his work on how to improve the reliability and security of blockchain systems using formal verification techniques as part of the virtual programming for Alumni Weekend Reinvented. He discusses the vulnerabilities of the current blockchain systems and the limitations of traditional solutions; how formal verification can be used to make blockchain and smart contracts bug-free and hacker-resistant; and the existing and potential applications of formal verification in real-world blockchain systems.