圈内一天，圈外一年。随着区块链平台及各种应用的落地，智能合约（Smart Contract)涉及的金额呈指数级增长。一直以来，智能合约的安全问题都是投资者和开发者共同关注的焦点。据报道，仅在2020年，在122起区块链黑客攻击事件中，已经导致了38亿美金的的损失。
智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议，允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转。智能合约做为电子合约、去中心化仲裁和合约间交互的一个结合，会产生大量的资金往来。如果出现重大漏洞，资产损失将不可避免，甚至项目会就此彻底失去用户信任。因此，DApp需要更严谨的测试和审计。
形式化验证是指用数学方法去证明系统无 Bug 。在以前更多见于硬件设计领域。因为硬件设计周期长，一旦生产出来就很难改动。如果直接用一台机器去做各种试验，成本是很高的。但是如果用数学去构建一台虚拟机去验证，可以做到论证充分，同时又没有太高的成本。这个过程叫做数学论证建模，也就是我们说的形式化验证。我们最近研究了一些保护我们智能合约的专业机构与项目：
智能合约审计项目/公司一览
软件避免出bug的方法是测试，测试代码中其实会模拟一些输入和输出情况来保证逻辑通顺。如今DeFi正在飞速发展，相比之下，形式化验证就是加强化测试，用数学论证，保证逻辑通畅。在区块链领域，代码即法律，代码控制着我们的数字身份，控制着我们智能合约中的资金。但是智能合约要避免被黑客攻击，其安全审计又是如何进行的呢？
如今，区块链虽然仍处于早期，但其快速的发展，已经引起了越来越多的社会关注，黑客是其中一个群体。为了避免黑客事件的发生，交易所、钱包、项目方等都在智能合约安全上加大投入。围绕着智能合约安全的周边生态建设也成为投资热点。与此同时，开发人员也开始了对智能合约程序逻辑无误的探索，从源头改进形式化验证的核心，即提升数学逻辑的准确性，以求建立更为高效的区块链基础。目前OCaml、Haskell、?ternity等数学模型论证函数式编程语言已逐渐应用于区块链世界，使一些分布式分类账协议和智能合约很大程度上获得可扩展性、稳定性和容错性。在我们看来，数学逻辑论证是就是守卫DeFi或是整个区块链行业安全运作的清道夫，未来随着区块链加密行业的逐步发展和完善，数学逻辑论证将或成为其中关键。（本文部分观点摘自知乎）
文章系金色财经专栏作者币圈北冥供稿,发表言论仅代表其个人观点,仅供学习交流！金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别防上当。 据欧意OKEx的数据显示,当前BTC/USDT现货报价为 56711,24小时涨幅/跌幅为 0.13%。
2020年全球公共卫生领域遭受了前所未有的考验。时至2021年4月,这场考验仍然在继续,英国、欧盟、美国均出现了对疫苗免疫的株,而巴西更是变异出了“大哥级”的变异种群,新冠病对全球、经济等各个领域的影响是长期而深远的。
上图为BTC自开盘之日起到目前的长期走势,研究可以发现BTC前几轮牛市持续的时间都有特定的规律,对于预测本轮BTC牛市有借鉴意义。 首先BTC第一轮牛市,从开盘到2011年牛市最高,持续时间46周,后面BTC见顶回落启动熊市,我们可以根据46周的时间周期,通过斐波那锲时间分割比来研究后面几轮牛市BTC见顶的大概时间。
1.金色观察 | 去中心化风投基金将侵蚀传统风投 以太坊如何开拓风投新领域？以太坊最早的一个用例是社区所有的风投基金,众所周知它另外一个名字叫DAO。在数字协调层方面,这是展示以太坊潜力的首例。世界上的任何一个人都能够向这个基金捐款,并在未来拥有资金池的所有权,以及对资金投资方式的投票权。但我们都知道,DAO最终并没有取得很好的发展。
金色财经现场报道,由金色财经主办的“2021共为·创新大会”4月11日在上海举行,本次大会以“DeFi的创新进阶”为主题。
2018 年,去中心化借贷协议 Dharma 联合创始人?Brendan Forster 提出了 DeFi 概念,DeFi正式登上历史舞台,紧随其后Compound协议对其治理代币COMP创造性的提出流动性激励方案；在其他DeFi项目不断的创新衍化下催生出了流动性挖矿这一火爆概念,但此时的DeFi 并未深入人心,市场也没呈现井喷式。
区块见闻