虛擬貨幣 以太坊leanVM完成形式化驗證 後量子轉型目標提前至2028年底 以太坊基金會研究員德雷克宣布，後量子簽章聚合虛擬機器leanVM完成端到端形式化驗證，並在Devcon 8將以太坊全面後量子轉型目標訂在20… 品傳媒-虛擬貨幣小編1 小時前
