https://devfolio.co/projects/irreducible-zerocheck-optimization-1325