A fun hackathon idea (for hardware fans): this but with locally generated ZKPs :) Seems to be a good match for @NoirLang hehehe