审计
Solidproof 获得其变革性自动审计工具解决方案的许可证
德国汉德威特,2022 年 3 月 3 日,Chainwire Solidproof 自豪地宣布,他们已经获得了汽车工具的许可证,这有可能将 DeFi 审计提升到一个新的水平。 该…
Nubank 寻求加密货币审计专家
Nubank 正在寻找加密货币审计专家来负责数字银行的内部运营,无论是在这个市场还是在证券交易所。 最近,Nubank 在证券交易所上市,并最终在全球脱颖而出。 亿万富翁沃伦巴菲特…
如何使用币安智能链一键赚取 2700 万美元 – 黑客对待
完全不必要的审计? – 一种新的攻击刚刚袭击了币安智能链协议。 有一次,该协议成为“审计”的主题,再次质疑他们的严谨性。 真正的囤积瞬间蒸发 6 月 24 日,托管在币安智能链上的…
Tether 将进行审计以否定透明度问题和索赔
正如我们之前的 Tether 新闻报道的那样,Tether 将在几个月内宣布正式审计后,将进行审计以否定透明度声明和担忧。 USDT 是最受欢迎的稳定币,在全球数字资产中排名第三,…
Tether 官方审计迫在眉睫,作为透明度证明的要求
TL;DR 细分 透明度已成为投资加密货币的人们的主要关注点。 许多投资者声称稳定币缺乏透明度并存在安全问题。 Tether of Ltd. 的总法律顾问已宣布 Tether 官方…
SolidProof 引入自动审计以提高对 Defi 部门的信任
赞助帖子 SolidProof 是一家位于德国的去中心化金融领域审计和 KYC 业务,旨在专注于智能合约的审计。 自推出以来,Defi 面临着许多问题,包括欺诈、诈骗、洗钱等。 最…
Kim Kataguiri 在巴西大选中捍卫区块链技术
联邦代表 Kim Kataguiri (DEM-SP) 在讨论印刷选票的会议期间为在巴西选举过程中使用区块链技术辩护,国会于上周二 (10) 投票通过了该选票。 这个话题非常敏感,…
三分钟读懂区块链安全审计机构 Runtime Verification 形式化验证方案
随着 DeFi 的爆发式发展,代码的形式化验证和智能合约安全审计之间的交叉会越来越多。 原文标题:《IOSG Weekly Brief #81 | 为什么我们领投 Runtime …
聊聊那些黑客事件 | ChainBreaker Podcast 第五期精彩回顾
2021 年 8 月 20 日 20:00,由 Winkrypto、区块先生以及链闻主办的「ChainBreaker Podcast」播客活动第五期拉开帷幕。本期直播链闻研究总监潘…
SolidProof 为 DeFi项目引入创新审计解决方案
SolidProof 是一家专门从事智能合约审计的德国公司,它正在通过引入自动审计流程来微调其 DeFi 安全解决方案。 对去中心化协议代码的自动化测试对于发现恶意行为者可以用来窃…