Due to latest updates to the lamddworks cairo prover, now we can generate proofs from trace and memory files so there is no need to generate the casm.json file and embed the transpilation in a contract.
With this changes we aim to improve the workflow and deployments for transpiled models.
Due to latest updates to the lamddworks cairo prover, now we can generate proofs from trace and memory files so there is no need to generate the
casm.json
file and embed the transpilation in a contract.With this changes we aim to improve the workflow and deployments for transpiled models.