Lytt til @carlofragni forklare hvordan Cartesi bringer beregningskraft og uttrykksevne gjennom et utvidet designområde drevet av Linux. Og i tilfelle tvist, hvordan en enkelt ærlig part kan håndheve det riktige resultatet takket være verifiseringsspillet til det svindelsikre systemet.