ZKM Education Leadの@alicelinglと@VeridiseIncのJon Stephensによる、形式的なセキュリティ手法の応用に関するこの会話は、ZKインフラを構築するすべての人にとって必聴です🤝