9/11 週四晚上 19:00-21:20 Functional Thursday 社群活動 ▶︎主題:R1CS as Puzzles: Compiling to Constraints • In this talk, I’m sharing a collection of fun puzzles. How everyday programming concepts, such as unsigned integer arithmetic, branching, and comparisons, can be represented as constraints, with R1CS as the target and backdrop. No prior knowledge of ZK, cryptography, or compilers required — just a tour of puzzles! ▶︎分享者:賴廷彥 • 活動資訊網址:<https://www.facebook.com/events/674132492380977/>