Com o apoio da @EthereumFndn, a nossa equipa de Verificação Formal está a construir ferramentas Lean para zkDSLs como o Plonky3. Saiba mais ⬇️