零时科技——专注于区块链安全领域深圳零时科技有限公司（简称：零时科技），公司成立于2018年11月，是一家专注于区块链生态安全的实战创新型网络安全企业，团队扎根区块链安全与应用技术研究，以丰富的安全攻防实战经验结合人工智能数据分析处理，为用户提供区块链安全漏洞风险检测、安全...
知识:智能合约,区块链安全,合约,区块链生态
2021 年 12 月 10 日 – 德国汉德维特总部位于德国的区块链审计公司 SolidProof 已完成其自动审计工具的开发，并计划很快推出该解决方案。 该产品被称为 SolidProof 自动化自动工具 (SAAT)，旨在简化和加快整个智能合约审计过程。</blockquote>去中心化金融 (DeFi) 的零售和机构采用正在以惊人的速度增长。 然...
知识:智能合约,区块链安全,区块链项目,区块链初创公
...建立了深度合作关系，并为全球1000多份智能合约、50多个区块链平台和落地应用系统、近100家数字金融企业提供安全审计与防御部署服务。▲部分【智能合约】合作伙伴展示关于OneSwapOneSwap是一个基于智能合约的完全去中心化的交易协议，上币无需许可，支持自动化做市。OneSwap被称为『升级版的Uniswap』...
知识:Defi,安全审计,成都链安
...TT，YFTT将在未来6个月内完成全部分发。零时科技简介零时科技，是一家专注区块链生态应用安全的实战创新型区块链安全企业。提供安全服务包括交易平台安全审计、钱包安全审计、合约安全审计、链安全审计、数字资产监控追溯、数字资产及交易反洗钱等方面。自研产品有合约安全自动化审计、合约...
知识:零时科技,智能合约,安全审计,DEFI
区块链技术的出现，将为智能合约的应用提供参考依据。智能合约的出现，将使得合约的执行成本降低最低。从理论上说，智能合约是将合约编码到网络上的一种新的形式，最终构成一个去中心化的信任机制。智能合约在以前不是由人（或其他事物）去主导的，而是由人（或它们）来执行的。智能合约...
知识:智能合约,区块链,区块链技术,去中心化
...平安银行回函的4笔全流程自动化电子函证成功落地，标志着中银协银行函证区块链服务平台正式投入实际业务应用。具体来看，该4笔业务由大华会计师事务所分别于12月1日、12月6日发起，经银行函证区块链服务平台实时转发至平安银行，被审计单位完成企业网银授权后，平安银行通过内部函证处理系...
知识:区块链,银行
...美国知名安全审计机构Trail of Bits（以下简称TOB）的安全审计。TOB是一家专注区块链网络的安全公司，成立于2012年，在区块链、密码学和应用安全审计方面拥有专业且丰富的经验，服务了包括Western Digital、Compound、Aave、Loom、Random X在内的多个区块链行业顶级项目，受到业界广泛关注与认可。此次审计中...
知识:合约,智能合约,区块,智能合约代码
讨论我们的研究结果表明，区块链技术至少会在六个关键方面影响审计行业。首先，区块链技术将为某些可以自动化控制的数据和文档的收集、以及交易的实质性测试节省时间。审计师可以利用节省的时间，通过加强对其他风险领域或现有控制系统的分析，为客户带来更多的附加值。我们的研究结果与L...
知识:区块链技术,区块链,区块链管理,区块链社区
...和持有时间综合权益给予的通证激励。零时科技简介零时科技，是一家专注区块链生态应用安全的实战创新型区块链安全企业。提供安全服务包括交易平台安全审计、钱包安全审计、合约安全审计、链安全审计、数字资产监控追溯、数字资产及交易AML等方面。自研产品有合约安全自动化审计、合约防火...
知识:合约,通证,数字资产,智能合约安全
第三章 区块链率先敲开金融的大门金融基础设施革命一、区块链对审计行业的颠覆企业进行年度审计和专项审计时，都是需要大量人力、物力去核实交易的真实性。基于区块链技术的应用能为这些真实性审核提供支持，如果企业间以及企业与银行间的资金往来、交易往来都能够真实无误、不可篡改且...
知识:智能合约,区块链技术,区块链,闪电网络
区块链技术将使审计师的角色从一个简单的控制者转变为一个真正的战略顾问。《区块链行业观察》专栏作者丨Najoua?Elommal,Riadh Manita图片丨来源于网络编者注：原报告来自Najoua Elommal、Riadh Manita，《创新经济与管理杂志》，中文版本由链集市团队编译整理，英文版权归原作者所有。由于本文篇幅过长，...
知识:区块链技术,区块链,区块链行业,在区块链
本文转自链闻 CHAINNEWS区块链时代，智能合约的安全性被无限放大，一行代码的漏洞就能导致千万美元的损失。统计数据显示，2011 年-2018 年间，智能合约安全事件损失金额达 12.4 亿美元，占该期间区块链安全事件总损失金额的 1/3。2018 年 3 月，一家想要保证智能合约 95% 以上准确率的安全服务公司「Beosi...
知识:链闻,CHAINNEWS,采访,Beosin,成都,链安,一
...计报告图1：Certik完成TTSswap去中心化交易所智能合约代码审计官网公告美国区块链安全审计公司Certik是由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。目前，Certik已获币安孵化器数百万美金投资。...
知识:去中心化交易所,上币,数字资产交易,智能合约代
...快进入主网。RenVM的首席运营官Michael Burgess说，通过利用Chainlink，“以太坊区块链上的智能合约应用程序现在能够按需自动验证Ren生态系统中铸造的每种跨链资产的抵押资产。”在这里，将在以太坊上分别部署renBTC，renBCH和renZEC的储备证明参考合同。 通过Chainlink的预言，合同将与最新的抵押品保持同步...
知识:以太坊,跨链,智能合约应用,去中心化
...核，仅供大家学习与参考。笔记内容仅代表嘉宾个人观点。圆桌论坛话题：区块链的财务管理变革今天是这个系列的最后一部分。昨天的链接在这里，之前的文章在昨天的链接里普华永道我们已经处于数字化的年代，数据钱包是存在，但它不像实物钱包一样可以摸得着。这就涉及到要用什么方法证明数...
知识:钱包,区块链,智能合约,私钥