Georg WieseGeorg Wiese helped found powdr labs, a developer of zero-knowledge proof software.2 talks by Georg WieseZK14 - Nondeterministic Autoprecompiles - Georg Wiese (Powdr Labs)ZK12: Abstractions for a multi-prover zkVM - Georg Wiese