Дневнички


Ответить в тред Ответить в тред

Check this out!
<<
Назад | Вниз | Каталог | Обновить тред | Автообновление
5 1 3

криптовалюты, смарт-контракты, верификация tat !!80Pn0mpd9w 09/06/19 Вск 15:08:42 2691031
How-Smart-Contr[...].png (183Кб, 768x576)
768x576
Я хочу понять, как Yoichi Hirai верифицирует смарт-контракты в машинном языке EVM, и в этом публичном дневнике я буду отчитываться о своих успехах. Возможно, я смогу еще кого-то заинтересовать этой темой, однако мои отчёты будут сжатыми и техническими - я их пишу прежде всего для себя самого.
План tat !!80Pn0mpd9w 09/06/19 Вск 18:10:43 2691202
План на ближайшие дни.

1) Еще раз пробежаться по проекту на гитхабе Yoichi Hirai и уточнить, с чем именно потребуется разобраться: https://github.com/pirapira/ethereum-formal-verification-overview

2) Прочитать статью австралийцев о логике Хоара: https://ts.data61.csiro.au/publications/csiro_full_text/Amani_BBS_18.pdf

3) Прочитать статью Yoichi Hirai о формализации контрактов, и посмотреть на соседние статьи: https://yoichihirai.com/malta-paper.pdf

4) Посмотреть материалы по Elm - без излишнего углубления.

5) Посмотреть исходники спецификации EVM в Isabelle и в Elm на гитхабе Yoichi Hirai.

6) Очень интенсивный курс по вспоминанию Isabelle, имеет смысл уделить этому пару часов ежедневно.

7) Продумать план статьи и начать писать плейнтекст (+TeX\слайды)
Аноним 10/06/19 Пнд 18:01:18 2692543
Подпишусь, пожалуй.

А что посоветуешь почитать по теме блокчейна и смарт-контрактов полному ньюфагу?
tat !!80Pn0mpd9w 10/06/19 Пнд 22:50:14 2693024
>>269254
Не думаю, что могу хорошо посоветовать по теме блокчейна - у меня самого много пробелов. Думаю, не будет лишним подучить криптографию, почитать про Merkle tree и производные типы данных, почитать про proof-of-work - и посмотреть оригинальную статью Сатоши. Возможно, эффективнее всего просто смотреть по ссылкам из статей того проекта, который интересует. Каких-то вводных курсов посоветовать я не могу.

Про устройство EVM здесь неплохо написано: https://github.com/ethereum/wiki/wiki/Ethereum-Development-Tutorial
tat !!80Pn0mpd9w 12/06/19 Срд 14:38:00 2694955
Прочитал статьи 2) и 3). Подробно разбираю вот этот документ: https://yoichihirai.com/deed.pdf - начал писать по нему текст, сейчас где-то 5%.
Аноним 25/06/19 Втр 23:28:37 2717606
А с какой целью ты это изучаешь? По работе? Или просто интересует концепция?
Настройки X
Ответить в тред X
15000 [S]
Макс объем: 40Mб, макс кол-во файлов: 4
Кликни/брось файл/ctrl-v
Стикеры X
Избранное / Топ тредов