ZK12: Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman
10:05
ZK12: Abstractions for a multi-prover zkVM - Georg Wiese
28:50
ZK12: Circom buses: the power to structure ZK circuits - Albert Rubio
29:32
ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification
16:56
The Magic of RISC-V Vector Processing
12:24
Majorana 1 Explained: The Path to a Million Qubits
37:08
Sohan Maheshwar - Decoding the hype behind WebAssembly: Looking under the hood
42:37
Shai Mishali - A Newbie's Guide to The Composable Architecture | Swift Heroes Talk
36:12