Talk was given in ZK Summit 9th in Breakout session.

About zk summit 9th: www.zksummit.com

Full presentation PPT available here:

Example applications in this talk are provided by:

ZKcross: provides the tiny game prototype.

Hyperoracle: provides the zkrelayer & attestation circuits.

Larona: provides the embedded verify code on zkWASM.