WorldCoin 開發團隊與 Reilabs 合作對 SMTB 進行形式驗證

根據ForesightNews報告，WorldCoin專案背後的開發團隊ToolsforHumanity(TFH)已與Reilabs合作，對WorldID協議的重要組成部分SemaphoreMerkleTreeBatcher(SMTB)進行正式驗證。