We have recently released and open-sourced Cartesi Core as specified in our tech paper (except for the DAG feature). With this milestone, we have achieved Verifiability, meaning that large computations can be adjudicated for correctness on the blockchain at negligible cost, in a safe and centralized way. (...)
Недавно мы выпустили Cartesi Core с открытым исходным кодом, как мы, собственно, и планировали в нашей технической roadmap (пока только не добавили функцию DAG). С этим мы достигли Проверяемости, что означает, что крупные вычисления могут быть скорректированы для правильной работы на блокчейне при незначительных затратах и безопасным, децентрализованным способом