Checkout Stylus groth16 on @devfolio https://devfolio.co/projects/stylus-groth-d2c3