Prep C code for VST proving

BlockstreamResearch / simplicity

Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.

MIT License

305 stars 45 forks source link

Prep C code for VST proving #271

Closed roconnor-blockstream closed 1 week ago

roconnor-blockstream commented 1 week ago

These changes help the VST tool for reasoning about the secp256k1 jets. These changes do not make any difference in the binary generated by the C compilers (gcc and clang; assuming the VST flag is not passed in).

roconnor-blockstream commented 1 week ago

For complicated technical reasons, I prefer to merge this before #270.