s/o @tcoratger (badacz EF), który był ogromną pomocą w moim uczeniu się o kryptografii i filozofii projektowania za leanVM oraz innych elementach lean Ethereum!