English相关文章(4567)
-
拘于小节的调用权限——函数调用权限漏洞
自由和限制的关系，也正是科技发展和安全的关系。合约安全的精髓就是限制及控制理念，精确的附加限制条件是防御安全漏洞的有效手段。在函数调用权限的问题上，正确添加函数说明符或者...
-
【得得白话】形式化验证：被注入新灵魂的老技术
两年前，肖风在给《区块链革命》作序时曾写道：“The Dao”事件提醒我们，应该有一个能对智能合约进行事先检验的科学方法，但这方面最先进的技术如形式化验证，目前还处于理论...
-
-
三大热门公链项目Algorand、Dfinity和Thunder...
至笔者成文为止，Algorand、Dfinity和Thunder的很多数据还停留在实验室阶段，相关实现代码大多没有公诸于世（除了Dfinity中有的少量PoC部分代码开源...
-
-
从百货商店到区块链，数字身份会掀起零售业的第五次革命吗？
随着以技术为驱动的第五次零售革命来袭，不管是顾客的无缝登录、商家的精准营销还是平台的快速身份验证，区块链数字身份都会成为连接信任的桥梁，并以此形成一个权益实时互通、信息互...
-
分片技术能否破解以太坊寒冬之危？
总体来看，Shasper（Sharding+Casper）方案的实现难度是很高的，目前也还有很多的技术细节没有最终确定，可能会有一些变数，包括经济模型的设计（各个参与方的...
-
【评级】PAI：个性化人工智能经济网络
Project PAI是一个为PAI（Personal Artificial Intelligence）开发的公有区块链协议，可以用区块链对人工智能进行认证、管理、数据学...
-
-
