smart contracts
Ось перший погляд на нові інструменти ідентифікації Ethereum від Thomson Reuters
Thomson Reuters незабаром запустить платформу для розробників смарт-контрактів Ethereum .
У формальній верифікації Ethereum прагне надійності смарт-контракту
CoinDesk висвітлює фактори, які спонукають спільноту програмістів Ethereum прийняти концепцію формальної перевірки для смарт-контрактів.
Розумні контракти на блокчейні потребують нового виду належної перевірки
Двоє юридичних експертів стверджують, що нам потрібна посилена належна обачність, перш ніж транзакції смарт-контрактів будуть записані на «камені блокчейну».
Ветерани блокчейну оприлюднили безпечну структуру смарт-контрактів
Два відомих розробника блокчейну випускають інструмент безпеки смарт-контрактів з відкритим кодом.
Розумний аналізатор контрактів дебютує на конференції Ethereum
Дослідники незабаром відкриють код інструменту, призначеного для оцінки коду смарт-контракту Ethereum .
Microsoft запускає робочу групу з безпеки смарт-контрактів
Microsoft організовує робочу групу, присвячену покращенню безпеки смарт-контрактів.
Чи може блокчейн покінчити з бюрократією?
У цьому OpEd дослідник реформ Олександр Хічкок обговорює, як блокчейн може призвести до значної економії державних служб.
Кодекс – це закон? Ще не зовсім
Чи повинен кодекс бути законом? У цій Погляди Лукас Абегг стверджує, що потрібно подолати багато наукових перешкод, перш ніж це стане можливим.
Цифрові активи до мови смарт-контракту з відкритим кодом
Digital Asset Holdings оголосила про намір створити DAML з відкритим кодом, мову розумних контрактів, яку вона придбала у стартапу Elevence.
Barclays Collaboration викладає FORTH майбутнього смарт-контрактів
Виконавчий директор Barclays Лі Брейн обговорює нову позицію, яка, на його думку, кодифікувала погляди його банку на технології смарт-контрактів.
