TL/DR: ZKP - a learning journey through zero-knowledge proof systems: Groth16, PLONK, and Halo2. Same problem, three frameworks, one surprising insight.

This is me joining the crowd of self-proclaimed AI experts (thank you LinkedIn for showing me posts of people doing every obvious thing you can do with AI).

I was calmly sleeping in my bed the other night, everything was fine, and then…

The 2024 is almost over and it is time to look back and summarise the whole year of progress on Beerus.

While I was doing-some-blockchain recently, I have found out that Elliptic Curve algebra does not seem to fit easily into u128, so this is a second attepmt, now done properly, using arkworks-rs.