AIR

  • check https://cronokirby.com/posts/2022/09/notes-on-stark-arithmetization/