加密倡导者：美国新法案赋予财政部长“不受约束的单边权力”来禁止加密交易:金色财经报道，位于华盛顿的智库Coin Center的执行董事Jerry Brito在推文中警告了“ 2022 年美国竞争法案”。该法案于周二在众议院提出。Brito警告称，注意到 2022 年美国竞争法案“很可能以某种形式通过”，它包含康涅狄格州国会议员 Jim Himes 提出的“特殊措施”条款，所谓的“特殊措施”条款，实质上将赋予财政部长不受限制的单方面权力来禁止加密货币交易。财政部长珍妮特耶伦将能够禁止任何加密交易，“无需任何程序、规则制定或对禁令持续时间的限制。Brito补充道，如果通过成为法律，这项规定将不仅对加密货币而且对与*所有*类型的金融交易相关的隐私和民主公共流程都是灾难。[2022/1/28 9:19:05]
合约形式验证的反编译技术。
比特币网络的总算力降至近13个月新低:Blockchain数据显示，比特币网络的总算力目前为101.9 TH/s。比特币网络上一次显示如此低的算力还是在2020年6月初。[2021/6/27 0:10:02]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。