[安全公司OpenZeppelin发布为StarkNet编写的智能合约库Cairo v0.1.0]4月6日消息，区块链安全公司OpenZeppelin发布智能合约Cairo v0.1.0，这是一个用Cairo为StarkNet编写的智能合约库，一个去中心化的ZK Rollup，该版本包含几个重要的智能合约，包括ERC20、ERC721和使用Argent开发的账户抽象合约。
其它快讯：
安全公司：Punk Protocol被黑因其CompoundModel的Initialize函数未做重复初始化检查:据慢雾区消息，去中心化年金协议 Punk Protocol 在公平启动的过程中遭遇攻击，慢雾安全团队以简讯形式将攻击原理分享如下：
1.攻击者调用CompoundModel合约的Initialize函数进行重复初始化操作，将合约Forge角色设置为攻击者指定的地址。
2.随后攻击者为了最大程度的将合约中资金取出，其调用了invest函数将合约中的资金抵押至Compound中，以取得抵押凭证cToken。
3.最后攻击者直接调用withdrawToForge函数将合约中的cToken转回Compound获取到对应的底层资产并最终将其转给Forge角色。
4.withdrawToForge函数被限制只有Forge角色可以调用，但Forge角色已被重复初始化为攻击者指定的地址，因此最终合约管理的资产都被转移至攻击者指定的地址。总结：本次攻击的根本原因在于其CompoundModel的Initialize函数未做重复初始化检查，导致攻击者直接调用此函数进行重复初始化替换Forge角色，最终造成合约管理的资产被盗。
总结：本次攻击的根本原因在于其 CompoundModel 的 Initialize 函数未做重复初始化检查，导致攻击者直接调用此函数进行重复初始化替换 Forge 角色，最终造成合约管理的资产被盗。[2021/8/12 1:51:06]
BASE代币合约已经安全公司Halborn充分验证:Base Protocol发推称已正式验证BASE代币合约。同时，该合约也得到了区块链安全公司Halborn的充分验证。就代理合约而言，这是一项防范首次rebase问题的策略，我们并非首创。[2020/12/6 14:12:06]
网络安全公司WISeKey利用区块链技术解决非洲土地登记纠纷:网络安全公司WISeKey在卢旺达的土地登记处使用区块链技术。非洲部分地区经常缺乏文件，导致土地纠纷，因为不清楚谁拥有土地。即使有记录，有时也会被篡改。无法删除的记录，使用区块链可以用来防止这些争议。区块链是一种分布式分类账。最大的不同之处在于，这个分类账没有存储在一个地方，它分布在世界各地的数百，甚至数千台计算机上。网络中的每个人都可以访问分布式分类账的最新版本。所以它是开放的、透明的、可审计和可核实的记录。[2018/1/5]
郑重声明： 安全公司OpenZeppelin发布为StarkNet编写的智能合约库Cairo v0.1.0版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。