💥Nebula slashes EVM proof overhead by 30× & boosts proof speed by up to 260× !!

Unlocking huge efficiency gains for zkVMs

It combines commitment-carrying IVC, efficient read-write memory, and a universal “switchboard” circuit to reduce unused-instruction overheads

This makes incrementally verifiable computations more scalable than ever for long-running machine executions

PS: implemented at @NovaNet_zkp ;)