network will support formal verification for all types of programs and circles in the next update
❤6👍2 2👏1
List.fold_left
https://x.com/lambda0xe/status/2060689739288572120?s=46
there are currently several significant updates on both devnet and main net, but they no longer affect the rpc experience, new features are being added
❤7
List.fold_left
there are currently several significant updates on both devnet and main net, but they no longer affect the rpc experience, new features are being added
X (formerly Twitter)
λ (@lambda0xE) on X
mini update (pre-night devbuild): the devnet and main net RPCs, as well as both scanners, have just been updated, adding support for a very important element - formal verification, as we said earlier, .aml supports native formal verification backed by Coq…
❤8 2