Z wsparciem od @EthereumFndn, nasz zespół ds. formalnej weryfikacji buduje narzędzia Lean dla zkDSL-ów, takich jak Plonky3. Dowiedz się więcej ⬇️