STARK (Scalable Transparent Argument of Knowledge) Stark proof system implemented in Python Components: https://aszepieniec.github.io/stark-anatomy/index