审计人：JeanPhilippeAumasson
我们在此宣布，Ergo已顺利通过代码某些最关键部分的安全审计。此次安全审计由Jean-PhilipeeAumasson完成。
具体报告如下所列。没有发现任何重大问题。对所发现问题的评论如下：
1.关于钱包密码，我们将在下一版协议客户端中提供建议。不确定是否会对密码进行硬性执行，但我们会对此做更多的咨询。
2.只有在启动新网络时修改“n”和“k”参数才有意义。修改挖矿节点中的这些参数将使生成的区块对其他节点来说无效。修改协议客户端中的这些参数意味着要进行另一次分叉。因此，可能不需要进行额外核验，因为那些启动新网络的人会正确设置“n”和“k”参数。
3.目前Ergo节点以及我们知道的其他区块链协议客户端和钱包还有我们正在使用的密码库均无法提供防止本地运行的侧通道攻击的保护。所以，请保护好正在运行你钱包的设备！
摘要
我们应Ergo的请求对其Ergo平台的几个组件进行了安全评估：
Bored Ape NFT地板价跌破30ETH:金色财经报道，区块链分析公司Nansen的一份报告显示，NFT项目赚取的特许权使用费已降至2年来的最低点。下跌可能是由于Bored Ape Yacht Club和Azuki Elementals等热门系列的NFT底价较低而引起的争议。Bored Ape地板价已经跌破30ETH。[2023/7/13 10:51:18]
l?西格玛协议证明的创建与验证
l?钱包对密语的安全存储
l?工作量证明
这份简短的报告概括了我们的评估，并说明了我们所发现的问题以及应对措施建议。
西格玛协议证明
Ergo协议依赖于ErgoScript，这是一种支持西格玛语句的脚本语言，可以通过非交互式知识证明来对其进行证明和验证。
这些证明是这样的语句，它被描述为由AND、OR和阈值条件组成的树，其树叶是离散对数问题的知识证明。
西格玛语句证明是非交互式的，这归功于Fiat-Shamir转换。
Cairo公布路线图：新合约语法将与Starknet alpha v0.12.0共同推出:6月29日消息，编程语言Cairo公布其路线图，为了社区便利性，创建公共板以描述即将推出的一些新功能；很快将推出新的合约语法，与Starknet alpha v0.12.0一起发布，需要进行一些代码更改，很大程度上丰富了智能合约语言；通过Cairo1.1.0在Starknet主网上的推出以及即将到来的v2版本，已经达到了语言成熟度的一个重要里程碑。文档、书籍和Starknet Discord等资源足够帮助用户开始并从Cairo 0迁移。
随着新合约语法的发布，Cairo现在足够稳定和丰富，足以支持复杂的应用程序，并移植现有的Cairo 0逻辑。此外，Starknet的向后兼容性保证确保即使语言发生重大变化，用户也将有足够的时间（至少六个月）来完成合约的开发或审核和部署。[2023/6/30 22:09:25]
该逻辑在《ErgoScript白皮书》中有详细说明，且详细的证明与验证流程在其附录A中有介绍。
实现挑战则是:
香港监管机构将召开会议以帮助加密货币公司开展银行业务:金色财经报道，中国香港监管机构正在召开加密货币公司和银行家之间的会议，以促进该行业的融资。 据彭博社看到的活动细节，圆桌会议将于4月28日在香港金融管理局举行，\"以促进直接对话 \"和 \"分享开设和维护银行账户的实际经验和观点\"。该会议将由香港金融管理局和证券及期货事务监察委员会联合举行，这两个监管机构负责监督稳定币和加密货币交易所。[2023/3/28 13:30:21]
l?定义安全高效证明的编码，并实现总是成功处理有效输入的序列化，以及总是无法处理无效输入的反序列化。
l?根据规范正确地实现证明与验证功能，最重要的是确保没有无效语句能够成功通过验证。
我们对这两个方面进行了审计，根据存储库sigmastate-interpreter中的代码和《ErgoScript白皮书》，对预期行为与实际所实现的行为进行仔细比较。
我们会重点审计了来自SigSerializer、Interpreter和ProverInterpreter特质和对象的代码。
美国破产受托人反对FTX出售LedgerX和其他子公司的计划:金色财经报道，美国破产受托人Andrew Vara对FTX出售该公司的LedgerX以及在欧洲和日本的FTX部门的计划提出了异议。该公司此前曾表示，计划出售其LedgerX、FTX日本和FTX欧洲业务。在他的文件中，联邦破产监管机构要求在出售这些部门之前进行调查，以确定他们是否获得了与FTX破产程序有关的信息。作为美国受托人，Vara是司法部的一部分，司法部负责监督美国的破产程序，并有责任确保破产实体不从事对债权人或本案中其他利益相关者不利的活动。[2023/1/8 11:01:15]
我们主要寻找来自以下类别中的Bug：
l?不安全处理有缺陷的输入
l?不安全处理异常长或异常短的输入
l?大树深度或递归级时的行为
l?不安全使用Scala类型和结构
l?不合适的变量类型
l?整数溢出
l?竞态条件
l?逻辑错误
外媒：FTX正在寻求100亿美元紧急融资:金色财经报道，据英国金融时报，FTX正在寻求60亿至100亿美元的紧急资金，而且已经向潜在投资者发送了准投资意向书，意向书中提供了两种方案，一种是传统投资，按投资方式（股权与转换等）和规模（大于或小于25亿美元）划分；另一种是所谓整体组合投资（all-together set (AT)），后者类似具有最低目标的众筹活动，如果投资者总计向FTX投入60亿美元以上，那么就会涉及启动整体组合投资，但投资人无法指定任何投资条款。[2022/11/16 13:09:25]
尽管进行了详尽审计，但我们并未发现任何安全问题。
协议的逻辑和内部机制是比较复杂的，我们认为最大的风险在于对证明进行分析与验证。然而，如要利用这些漏洞，攻击者必须创建一个在某种程度上会令自己受益且在不应通过验证时通过验证的语义正确脚本。
在软件安全方面，Scala消除某些类别的Bug，但是由于Scala的特定行为或未处理的错误，Scala代码可能依然会受到Bug的困扰。
钱包
Ergo的钱包功能使其用户能够在磁盘上存储并恢复密语，且在初次使用的时候，可以用一个新的种子对钱包进行初始化。
该逻辑主要在ErgoWalletActor中进行定义，有关密语存储的一个主要组件是JsonSecretStorage。
首次创建钱包时，InitWallet命令执行以下操作：
l?生成作为初始熵的settings.walletSettings.seedStrengthBits随机位。在默认情况下，生成160位。
l?从生成的随机位中生成一个BIP39，这可以被视作熵位的一次编码。采用密码可选的标准BIP39逻辑。
l?使用BIP39基于PBKDF2的推导逻辑，从助记词中推导出种子。
l?采用一个随机数，通过AES-GCM将种子加密到磁盘，使用拥有128000次迭代的PBKDF2-HMAC-SHA256，并利用一个随机盐从密码中推导出一个密钥。
如要解锁一个已创建好的钱包，用户提供密码，钱包将尝试解密所存储的数据。
如要从BIP39口令恢复现有帐户，需要执行一个类似于初始化的流程，只不过钱包将从助记词中而非通过挑取随机助记词的方式获得种子。
我们在此确定的两种风险包括：
l?缺乏对密码长度的检查：由于钱包是在磁盘上存储密语，密码足以访问种子，因此，从理论来讲，密码的熵至少应当与助记词相同，而在实际上应该很难破解。因此，我们建议采用最短的密码长度，如16个字符。
l?在钱包软件执行后，密语值的副本可能会留在内存中，这是诸如Scala等垃圾收集语言的内在局限性。
共享相同内存地址空间的另一进程或用户可能会恢复这些密语，并且它们也可能出现在崩溃转储中。据我们所知，在纯Scala中没有有效的缓解。
工作量证明的验证
在先前审计Autolykos工作量证明的安全性之后，我们进行了另一轮审计，重点审计了其最新的验证逻辑，特别是在提交eb0f85a中所做的更改。
主要的相关文件是AutolykosPowScheme，其他重要操作在诸如HeadersProcessor和ModifierValidator中实现。
经过检查，我们发现所实现的验证逻辑与Autolykos规范中所阐述的验证逻辑是一致的，且其已被妥善整合进区块头的验证逻辑中。
我们认为应解决以下两点:
l?对k和n进行更严格的验证：虽然类强制执行k<=32和n<31，但依然可以从授权参数中创建弱。因此，validate()函数可能需要进行额外的验证，确认n和k是否等于预期值。
l?主张k和n为正值，因为当前的负值将传递assert语句。
安全审计人简介
全球顶尖密码学专家Jean-PhilipeeAumasson
Jean-Philippe(JP)Aumasson是世界著名密码学专家、KudelskiSecurity的技术副总裁兼首席密码学家、Teserakt的联合创始人和TaurusGroup的首席安全官。Jean-Philippe于2009年取得世界顶尖理工院校洛桑联邦理工学院博士学位，且在KudelskiGroup从事应用密码学、安全架构和网络安全领域工作已有8年时间。Jean-Philippe撰写了广受赞誉的著作《严肃密码学》，并设计了得到广泛使用的BLAKE2和SipHash等算法。他已为领先区块链和加密货币组织执行了大量安全评估。他曾在BlackHat、DEFCON、RSAC、CCC和Infiltrate等会议上发表了有关应用密码学、量子计算和平台安全性的演讲。他也是《密码技术编码标准》和密码哈希竞赛的发起人。
Ergo平台简介
Ergo平台是一个安全、适应力强、开放、无需许可、去中心化的DeFi应用底层公链平台，主要专注于提供一种高效、安全、简便的方式去实现金融合约，也是一个合约币和智能合约平台。其背后技术团队拥有10年区块链理论研究和实战开发经验，Ergo将以此为基础构建高级加密功能和全新DeFi功能。Ergo现有实例涉及众筹、预言机、去中心化交易所、稳定币、NFT拍卖等。另外，Ergo将永守PoW，支持普通人GPU挖矿。
原文链接：
https://ergoplatform.org/en/blog/2020_01_12_security_audit/
审计人简介参考链接：
https://www.aumasson.jp/
https://www.blackhat.com/us-19/speakers/Jean-Philippe-Aumasson.html
https://opencryptoaudit.org/people
来源：金色财经
标签：ERGFTXSONPHIenergychainGrayscale Bitcoin Trust tokenized stock FTXSONGCryptographic Ultra Money
大家好,往后的文章分析,我主要以数据的方式展示比特币与以太坊的操作策略,尽量避免主观的观点,更详细的分析,可以观看我录制的视频.
1900/1/1 0:00:00战友们,下午好！我是币圈爱好者楠枫。在投机市场成功的人,一定有他成功的独到之处,在投机市场失败的人,却不需要任何理由,人性使然。高手和低手,其实只是一个转身的距离.
1900/1/1 0:00:003.27晚间BTC/ETH行情分析抱最大的希望,为最大的努力,做最坏的打算。这就是理由。晚间四小时布林图来看,BTC逐步向下试探区间震荡起伏保持小位徘徊.
1900/1/1 0:00:00大家好我是星际区块链研究院TIAN。主要操作现货,短线合约,暴涨山寨币,一级市场项目！BTC比特币价格自早间开盘下行,跳水1800余点,低位触及54701位置后止跌随后反弹,上行至55562位置.
1900/1/1 0:00:00第六届全球资产配置聚焦和亚洲财富管理暨资管数字化决策者峰2021将于5月19-21日在上海隆重举办！为时半年,组委会在走访百家银行理财子、证券、基金、信托、保险资管、期货、财富、技术等机构后.
1900/1/1 0:00:00从4小时级别来看由过去的历史高点和次高点以及下方的回落低点形成了一个震荡收敛的三角形价格由ATH(2049.15)回落到最低1291.45后反弹从图中可以看到由1291.
1900/1/1 0:00:00
月亮链