首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    那些被一行代码蒸发1个亿的智能合约,形式化验证了解一下? | 人物志

    「人物志」为区块链大本营(ID:blockchain_camp)着力打造的人物栏目,以「趣味而不失专业,可读而不失深度」为宗旨,每期邀请区块链领域的顶级专家和开发者就行业、投融资、开发、案例、项目实践等展开探讨。 作为以太坊生态的核心,智能合约这几年发展迅速。最早的智能合约,可以追溯到1995年,由密码学家尼克萨博首次提出。智能合约在多方参与、复杂交易的场景中有明显优势。 然而,近期随着智能合约安全问题的频繁出现,智能合约的劣势也愈发明显,包括智能合约如何对实体资产进行控制,从而保证其有效地执行合约;以及如

    06

    区块链公司布比完成1亿元新一轮融资,由新链创投、盘古创富联合领投 | 热点

    截至当前,布比已累计融资1.4亿元。 今日消息,区块链公司布比已于2017年11月完成了1亿元的新一轮融资,由新链创投、盘古创富联合领投,前几轮投资机构启赋资本、招商局创投、界石投资、万向分布式资本、点亮资本全部继续跟投。 据了解,布比此前曾于2015年和2016年分别完成一轮融资,截至本轮,其累计融资已经达到了1.4亿元。 布比方面表示,此次融资将主要用于技术研发和市场运营: 一方面,建立一方面,建立供应链金融的行业区块链网络,成为产业价值的连接器; 另一方面,打造公共区块链网络,支撑数字资产流通和物联网

    02

    官宣:最新版数字人才岗位能力模型和职业发展路径

    本文摘录自《数字人才发展体系:粮仓模型白皮书》 全文共计 : 7500 字,阅读完需:约 30 分钟 您也可以直接扫描文末图片中的二维码,免费下载完整版白皮书 随着国家政策对数字经济发展的持续推动,各行各业都在进行数字化转型的探索与实践,数字员工成为企业用人的新标准,掌握数字技能已不再是对技术岗位的专属要求。随着数字化进程深入,行业对数字人才画像和岗位能力要求也逐渐明晰。在这个大环境下,技术人要如何提升自己的职业竞争力?企业需要什么样的数字人才团队? 极客邦科技双数研究院联合各行各业的生态伙伴,共同发布《数

    03

    区块链对人工智能的变革:去中心化将带来数据新范式

    编译:机器之心   近年,从围棋到人类水平的语音识别,人工智能(AI)研究者终于在他们几十年一直努力探索的领域取得了突破。取得突破进展的关键一点是研究者们可以收集巨量的数据并“学习”这些数据,从而将错误率降低到可接受范围以内。   简而言之,大数据大为改观了人工智能的发展,将其推到一个几乎难以置信的高度。   区块链技术同样能够变革人工智能——当然以它自己的特定方式进行。部分将区块链用于人工智能方式目前还很单一,比如在人工智能模型上进行审计跟踪(audit trail)。有些应用几乎是难以置信的,比如

    07

    双碳案例分享:腾讯区块链助力打造深圳碳普惠平台——腾讯科技(深圳)有限公司

    当前,以区块链为代表的新一代信息技术持续向传统产业融合渗透,绿色低碳产业也在借助新型技术工具进行改革创新。为推动绿色经济的数字化发展,中关村区块链产业联盟(以下简称“ABI”)双碳行业促进委员会启动了《2022区块链+双碳场景应用案例集》的征集工作。今天与大家分享来自腾讯科技(深圳)有限公司(以下简称“腾讯”)的案例《腾讯区块链碳普惠平台》。 01 案例详情 碳普惠是一项创新性自愿减排机制,通过构建一套公民碳减排“可记录、可衡量、有收益、被认同”的机制,对个人的节能减碳行为进行具体量化并赋予一定价值,从而建

    01

    本体技术视点 | OpenKG区块链:构建可信开放的联邦知识图谱平台(上)

    知识是有价值的,即使是权限可控的单一机构内部,知识来源也是多样化的,必定存在知识的价值量化、确权、溯源、隐私及可信等多方面问题。要在知识生产和消费闭环中平衡知识的责、权、利,并有效的激励众包,一种方法就是让知识上链,并构建知识的区块链系统。OpenKG 作为新技术测试床,在相关方向努力做一些粗浅尝试,也希望为各企业机构建立知识图谱众包平台提供参考。在实践过程中,我们也发现很多问题和挑战,如细粒度知识确权带来的性能问题、细粒度知识众包的价值计算公平性问题、知识图谱的去中心化存储问题等,这些都需要更深入的研究和实践。

    04
    领券