Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark

Building blocks of a Circle STARK verifier in Bitcoin script
https://docs.btcwild.life
MIT License
112 stars 23 forks source link

Migrate the math structs to be using stwo #12

Closed weikengchen closed 3 months ago

weikengchen commented 3 months ago

Previously, the implementation for math structs (M31, CM31, QM31, CirclePoint) was from an early and simplified Circle STARK code. This code later became the foundation of stwo, and stwo implements similar functions.

Since we will soon be using stwo to generate the proof (for consistency testing and for the future), we replace these structs with the ones in stwo, by using stwo as a dependency.