Learning about Circle STARKs and fell into a deep rabbit hole of Riemann-Roch spaces. I love crypto.

Learning about Circle STARKs and fell into a deep rabbit hole of Riemann-Roch spaces. I love crypto. 

https://eprint.iacr.org/2024/278

tricks with polynomials. Computational monadologist. Prev: ML HealthCareInc 🦄 | R&D PeopleFund | AI & Stats lecturer

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

I haven't looked into that yet. I'm focused on their use, along with covenants, to enable general computation on Bitcoin. If the soft fork to reactivate OP_CAT is done, that is.

Oh, I think this blog post explains it:

https://starkware.co/blog/starkware-new-proving-record/