速汇金要求将Ripple和SEC诉讼案相关证词的部分内容保密，因其涉及商业机密:7月29日消息，金融服务公司MoneyGram（速汇金）提出一项动议，要求密封Ripple和SEC提交的文件中与各方排除专家证词动议有关的部分内容。
速汇金称，拟议的有限修订对于保护公司的“高度机密的商业信息”至关重要，只针对涉及其一名官员的证词记录中的几行内容，其中包含与速汇金的业务战略和运营相关的非公开信息。 （The Crypto Basic）[2022/7/29 2:46:13]
合约形式验证的反编译技术。
aelf宣布推出集中式资产管理系统CAM:3月11日消息，去中心化云计算区块链网络aelf官方发推宣布推出集中式资产管理系统（CAM）。官方表示，aelf CAM本质上是aelf区块链上的智能合约。其为任何给定的交易所创建一个主地址，该地址将由CAM合约而不是交易所本身或任何其他人来管理。在该系统下，交易所只能进行基本交易。既不能控制用户资产，也不能进行投票等。用户将收到CAM虚拟地址，进行余额查询以保护资产安全等。[2021/3/11 18:35:03]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。