-
- А ты понимаешь, зачем
смрадсмарт-контракты нужны, какой в них смысл? Для распределённого преферанса что ли? - fk0(14.01.2020 13:47)- Смутно. Но я заинтересовался реализацией. Evgeny_CD(141 знак., 15.01.2020 01:20)
- Там у чуваков трава забористая. На сколько я понимаю там идея такая. Есть технология blockchain. Говорят, что толи марсиане, толи NSA создали на базе blockchain криптовалюту. Что получаем? Нет центрального барыги от которого все зависит. Т.е. framer(811 знак., 15.01.2020 10:56 - 11:02)
- угу. только повалилось всё от одного рекусивного вызова :)) - топинамбур(15.01.2020 12:14, )
- ЯВУ штоле? Это да, нужная штука. Клевещут, в середине 20-го века что-то такое изобрели. - SciFi(15.01.2020 07:38 - 07:43)
- Там у чуваков трава забористая. На сколько я понимаю там идея такая. Есть технология blockchain. Говорят, что толи марсиане, толи NSA создали на базе blockchain криптовалюту. Что получаем? Нет центрального барыги от которого все зависит. Т.е. framer(811 знак., 15.01.2020 10:56 - 11:02)
- Смутно. Но я заинтересовался реализацией. Evgeny_CD(141 знак., 15.01.2020 01:20)
- Однако при сборке компилятора опционально используются Z3 -> Satisfiability Modulo Theories (SMT) solver от Microsoft Research, а также CVC4 --> то же самое от project of Stanford University and U Iowa. Т.е. оно содержит в себе Evgeny_CD(48 знак., 13.01.2020 23:31, ссылка, ссылка)
- Очень перекликается с идеями ввести метаязык как основу спецификации С++ -> - Evgeny_CD(13.01.2020 22:54, ссылка)
- А ты понимаешь, зачем