Agenda

[nonlin-lin-chaos-order-etc-etal]

FUTUREDESIGNDEV/HUTORI2PCURRENTAGENDA#5

[nonlin-lin-chaos-order-etc-etal]

1. $ETH https://habr.com/ru/post/442114/ Теги: solidity ethereum аудит безопасности смарт-контракты mythril автоанализаторы by BoogerWooger 28 февраля 2019 в 22:46 Гайд по автоматическому аудиту смарт-контрактов. Часть 3: Mythril Децентрализованные сети Информационная безопасность * Реверс-инжиниринг * Solidity *;
2. $WAVES https://habr.com/ru/post/450016/ Теги: формальная верификация формальные методы решатель логика Хоара символьное выполнение blockchain SMT Z3 NP вычислительная сложность проблема остановки верификация программ защита программ информационная безопасность RIDE 8 ферзей поиск уязвимостей Coq Isabelle WhyML TLA seL4 by scp1001 29 апреля 2019 в 22:32 Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python Децентрализованные сети Информационная безопасность * Ненормальное программирование * PHP * Python * (* "Поскольку смарт-контракты подходят под эти требования наилучшим образом, выбор пал на контракты RIDE от платформы Waves: они не являются Тьюринг-полными, и их максимальная сложность искусственно ограничена." *);
3. ... ;
4. Pure Math & Formal Systems Verification & Validation FUTUREDESIGNDEV/HUTORI2PCURRENTAGENDA#5 ;
5. ...

[nonlin-lin-chaos-order-etc-etal]

$SOL

solana formal tools ide

написать символическую вм

SOL/USD: 94.4427230785201

и проприетарью

не, не триалку

пусть плотят за каждый сеанс вообще.

ну и можно community edition сделать

фримиум крч

smt/sat prover и анализатор будут в платном проприетарном отсеке

one guide to read: https://habr.com/ru/post/450016/

and three mythril papers: two from the Mytril author and one at habr