Con el apoyo de @EthereumFndn, nuestro equipo de Verificación Formal está construyendo herramientas Lean para zkDSLs como Plonky3. Aprende más ⬇️