One of our founders, @quantumcatgirl, presented the Verifiable Computing Project at
GeekcampSG 2022!
Joyce shows a RISC-V processor synthesized on FPGA, as well as the toolkits available for designing digital hardware.
Presentation Recording: https://youtube.com/watch?v=T94lGIzIpYU