Acesta este ZisK, zkVM care vrea să fie standard, cu @jbaylina în prim-plan
559