Think you know ZK? How about running Linux inside the Cartesi VM inside a @RiscZero Knowledge Proof? Learn more abo…