为何波卡在完成安全审计后却拒绝解决风险问题?
我们Web3Foundation的使命是促进下一代互联网的发展:旨在建立一个去中心化的,公平的网络,在该网络上用户可以控制自己的数据,市场可以从网络效率和安全性中受益。这篇文章我们在其中报告了为加强我们的系统而进行的安全审核的相关内容。
该安全审计工作由信息安全公司AtredisPartners进行,该公司在渗透测试,逆向工程,硬件/软件开发以及嵌入式系统设计评估方面拥有丰富的经验。
什么是安全审计
我们邀请Atredis对波卡Runtime的完整性,机密性和可用性以及波卡验证程序的安全性和可靠性进行了安全性评估。
此链接可阅读整个审核员的报告。
https://assets.polkadot.network/security-audits/Atredis_Partners-Web3-Polkadot-PlatformSecurityAssessment.pdf
以太坊开发者Tim Beiko解释为何柏林升级没有纳入EIP-2537:以太坊开发者Tim Beiko解释为何柏林升级没有纳入EIP-2537表示,其在柏林升级需要更多测试,团队总体都同意,但是当我们讨论将它包含在伦敦升级时,有人提出了一个我们应该使用的新库,并可能修改gas成本,这需要更多的测试,因为它没有削减gas。此外,它从一个非常好的拥有(预存款合约启动以验证存款)变成了“我们在分片之前需要这个”,因此紧迫性大大降低。[2021/6/8 23:21:36]
具体来说,Atredis的审计侧重于:
identifyanddefinekeyattackchainsagainstthePolkadotRuntime
识别并定义针可对波卡Runtime的攻击
识别确认任何可能损害Polkadot交易完整性的事件
法院要求SEC出具有关为何批准BTC和ETH为非证券的文件:数据研究员Leonidas Hadjiloizou 发推文说,法院已同意Ripple的申请,要求SEC出具有关为何批准比特币和以太坊为非证券的文件,另外还包括美国SEC关于XRP地位的内部通信以及有关另外十名托管人的文件。同时,美国地方法院法官Sarah Netburn裁定,Ripple Labs和SEC在4月6日下午2:00通过电话会议讨论相关细节。(U.today)[2021/3/25 19:18:12]
identifycaseswhereattacker-suppliedcodeexecutioncouldbepossible
确认是否存在可以执行攻击者提供的代码的可能
确定任何可能会影响Polkadot可信度的情景
声音 | 亿万富翁Druckenmiller:不理解为何需要比特币:据华尔街见闻消息,亿万富翁Stanley Druckenmiller表示,并不理解美联储为何被困在2%这一通胀目标。目前并没有陷入衰退,但必须保持警惕。此外,Druckenmiller还称不理解为何需要比特币,他既不会沽空、也不会做多比特币。[2019/6/4]
确认波卡Runtime架构,开发情况和交易功能,与公认的能够确保最佳加密安全性的做法保持一致
尝试禁用或以其他方式干扰验证人在波卡网络上的正常工作
尝试选拔特定的验证人
查看是否有可能强行选拔任免作恶的验证人
报告摘要
评估是由AtredisPartners在2020年1月20日至2月11日进行的。其中包括对通信堆栈的自下而上的分析,针对波卡Runtime源代码以及Kusama网络的动态测试。在测试过程中特别测试了拒绝服务方案和欺诈活动。评估得出了一项严重,一项高,一项中等风险和三项信息方面的发现。
Facebook Messenger负责人解释为何禁止数字货币广告:Facebook Messenger副总裁David Marcus本周表示,数字货币在他的平台上不会有任何作用。“现在使用加密技术的支付非常昂贵,超级慢,当这一问题解决了,也许我们会做点什么。”本周早些时候,Facebook禁止所有数字货币相关的广告。马库斯解释到:“我们希望保护社区,这最重要,大部分广告都是,我们不能让平台存在。[2018/2/3]
关键的发现是Substrate中的逻辑问题,该逻辑问题允许生成零成本交易。由于平台依赖于各种具有成本因素的交易,因此该问题可能允许作恶方通过向网络发送可能消耗存储空间的潜在免费交易来向网络发送时间延迟的操作,例如投票等,以致造成损失。
该问题可通过更新有关计算权重和费用的逻辑来修正,以便使得指令通行时始终支付费用,同时也可以通过标准化计算自定义权重信息的方式来进行辅助修正。
同时要保证识别出的其他问题不能被用来扰乱或颠覆整个网络秩序。据观察,Rust编程语言的使用大大降低了许多攻击类别的可能性,并且WASMRuntime的使用在沙盒实验的动态代码中非常有效。
对调查结果的回应
问题:通过Utility.batch进行免费交易滥用
性质:严重风险
状态:已解决。并由Atredis通过代码审查进行了验证
https://github.com/paritytech/substrate/pull/4953
问题:通过无效交易对Polkadot节点进行CPU消耗
性质:高风险
状态:已解决。并由Atredis通过代码审查进行了验证
https://github.com/paritytech/substrate/pull/5939
问题:解决P2P身份响应的端点流量反应
Medium性质:中等风险
Won’tFix.回应:不会修复该问题
原因:在公共开放网络中基于Gossip-based的安全广播是一个没有正确答案的问题,不同的机构、学者、工程师提出了各种建议以及半解决方案,但都具有出于自身立场的不同权衡考虑。比特币通过给节点运营商增加执行网络级监控的负担,从而防止了不安全的Gossip,就现有经验来看这在提升性能方面是相当有效的。Polkadot提出并正在执行质押的概念,同时允许执行更多检查。另外,当前正在研究基于由节点自身完成的内置网络监视的解决方案。最后,节点运营商可以对大型比特币节点运营商进行连接和带宽使用方面的经典检查。
问题:解决P2P身份响应的可观测的地址DNS泄漏
性质:仅通知
回应:不会修复该问题
https://github.com/paritytech/substrate/pull/6582
问题:Substratesr25519Pair::Verify调用不推荐使用的函数
性质:仅通知
回应:不会修复该问题
https://github.com/paritytech/substrate/pull/5138
问题:Substrate在from_seed_slice不一致的接口警告
性质:仅通知
回应:不会修复该问题
保持高透明度是我们Web3Foundation最引以为豪的宗旨。因此我们将持续更新这个正在进行当中的系列内容,同时会刊登出我们发现并确定的问题和纠正的步骤。
编译/潜行之尧
最近行情又反弹了,昨天以太坊都冲到610美元了,一天跌到480,三天就回到了610,牛市还是牛市,币圈最近是真的稳,不过上次的大跌说明高位的压力还是有点大,轻易是难以突破的,还是要小心一点.
1900/1/1 0:00:005月25日下午,第十三届全国人民代表大会第三次会议在人民大会堂举行第二次全体会议,在会议结束后举行的“部长通道”采访活动上,工信部表示,今年开始加快5G的建设速度.
1900/1/1 0:00:00亲爱的用户:币安杠杆平台现已增加以下资产:全仓杠杆新增ZIL资产,开放ZIL/BTC、ZIL/USDT全仓交易对;逐仓杠杆新增ARDR、HARD、LTO资产.
1900/1/1 0:00:00尊敬的ZT用户:因VEDA节点维护,ZT已暂停VEDA充提业务。由此给您带来的不便敬请谅解。风险提示:数字资产是创新产品,价格波动较大,请用户理性判断自己的投资能力,审慎做出投资决策.
1900/1/1 0:00:00后比特币时代比特币的到来带来了分布式账本技术的蓬勃发展,开创了现代区块链时代。在此期间,基础技术和重叠应用领域都出现了许多创新.
1900/1/1 0:00:00WanSwap的核心功能与众多swap项目类似,但其底层采用了Wanchain跨链机制,交易费用低且性能较高.
1900/1/1 0:00:00