Crypto Briefing· Estefano Gomez·· 4 小时前AI 评分22
TU Wien 正为 Bitcoin 的 Ark 协议进行形式化安全证明
TU Wien researchers work to formally prove the security of Bitcoin’s Ark protocol
AI brief
Researchers at TU Wien are working to formally prove that the Ark protocol is secure. Ark is a transaction batching system built to help Bitcoin scale without making users hand over custody of their coins. What the Vienna team is actually doing The work is based in TU Wien’s Research Unit of Security and Privacy. It is…
Source: Crypto Briefing · cryptobriefing.com