Poslechněte si @carlofragni vysvětlete, jak Cartesi přináší výpočetní výkon a expresivitu prostřednictvím rozšířeného návrhového prostoru poháněného Linuxem. A v případě sporu, jak může jediná poctivá strana prosadit správný výsledek díky ověřovací hře svého systému odolného proti podvodům.