(yezhang1998 on X)

Our zk research team has been working on something super cool! It has potential to become the most performant zk[E]VM targeting at real time proving.

It combined the best parts of proving system, field choice and VM flow:
GKR parallelization +
Smaller field arithmetic +
Pay what you need at opcode level

It’s still an early draft describing the architecture, lots of work need to be done, benchmark is coming out soon. DM me if you are excited about GKR based proving system and want to contribute! #ScrollLayer2

(eprint.iacr.org/2024/387 )