GM проверяемые вычисления и системы доказательства мошенничества arc!

Слушайте, как @carlofragni объясняет, как Cartesi приносит вычислительную мощность и выразительность через расширенное пространство дизайна, основанное на Linux. И в случае спора, как одна честная сторона может обеспечить правильный результат благодаря игре проверки в своей системе защиты от мошенничества.