Skip to content
Sagan

Paper

Formal verification of the S-two AIR

Unreadunread

AI summary

arXiv:2606. 04311v1 Announce Type: new Abstract: StarkWare's S-two prover provides an efficient means for establishing, on blockchain, that a program written in the Cairo virtual machine language runs to completion.