明日は、検証可能なコンピューティング、zkVM 構築の課題などについて、@brevis_zkと @no89thkey で話し合います。