AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Region abstraction in Halo2
We were looking at the kinds of things we were building and going, well, that looks awful. How can we make this better? And so doing s we were using the development of our circuit as sort of a a feedback loop for developing the api to use to develop the circuit a. We would come up figuring out what kinds of things are we repeating? What kinds of abstractions can we build to to make this easier to work with? That's part of how I got involved in it.