- 博客(18)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 符号执行Symbolic Execution
关键思想 对于给定的程序，希望可以自动生成一组测试用例，效率高，且测试用例满足一定的性质。主要原理 通过分析程序来得到某段代码区域执行的输入。在达到目标代码时，分析器可以得到相应的路径约束，然后通过约束求解器得到触发目标代码的具体值。并且在分析程序时，使用的是符号值作为输入（而不是具体的值）。执行框架实例void foo(int a, int b){ int x = 1, y = 0; if(a != 0){ y = 3+x; if(b == 0) x
2022-03-05 11:01:07
4296
原创 12在以太坊上定义智能合约缺陷
原文标题： Defining Smart Contract Defects on Ethereum原文作者： Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo and Ting Chen原文机构： 澳大利亚维多利亚州墨尔本莫纳什大学信息技术学院、新加坡管理大学信息系统学院、香港理工大学计算机系、电子科技大学计算机科学与工程学院原文地址： 10.1109/TSE.2020.2989002发表日期/期刊： 2020 年 4 月 20 日/IE.
2022-02-10 01:37:12
11437
原创 11基于纳什均衡的智能合约缺陷检测
原文标题： 基于纳什均衡的智能合约缺陷检测原文作者： 陈晋川，夏华辉等原文机构： 中国人民大学信息学院原文地址： 10.11897／SP.J.1016.2021.00147发表日期/期刊：V0l.44 No.1 Jan. 2021/计算机学报笔记整理：doxbwx@163.com本文是基于形式化表达智能合约的工作之上对智能合约的逻辑缺陷进行检测的算法效率进行提高，文本旨在解决这些问题：如何构建一种与编程语言和平台无关的，易于理解的中间模型如何发现智能合约中存在的逻辑缺陷本文的解.
2022-02-04 21:23:45
2288
原创 11 V神 12/6 Endgame 区块链扩容的终局
原文标题： Endgame原文作者： Vitalik Buterin原文链接： https://vitalik.eth.limo/general/2021/12/06/endgame.html全文中心思想：不管你是以太坊的朋友还是杀手，加入Rollup阵营吧，大家一起Roll起来！从以太坊Rollup区块生产的中心化长期来看，可能是个不可避免的趋势，But，That’s OK……加入RollUp阵营 目前的“大区块链”(BSC、Solana等)有非常高的区块频率、非常大的区块大小，每.
2021-12-13 17:00:19
10049
原创 V神 12/6 Endgame 区块链扩容的终局
Endgame原文Special thanks to a whole bunch of people from Optimism and Flashbots for discussion and thought that went into this piece, and Karl Floersch, Phil Daian and Alex Obadia for feedback and review.Consider the average “big block chain” - very high
2021-12-13 15:56:51
8499
原创 区块链的边界
区块链系统依靠共识算法和密码学基础作为底层支撑，依靠社区开源代码实现高层应用，逻辑严格是由代码判断执行的，这些特性都保证了数据的透明性、不可篡改性，使各方可以通过区块链实现信任的对等传递。在这种基础上建立的技术才能作为值得信赖的根据。 世界经济论坛(WEF)调查报告预测区块链的广泛应用可能要到2027年才能真正开始。 简单地说，人工智能就是基于现有的数据，找出其中规则后对未来预测再做出对未来的提前行为。从某中意义上，我们可以把人工智能当作新时代的生产力，用于生产价值。而区块链技术的核心价值是私密
2021-12-13 14:33:51
6565
原创 10采用区块链智能合约管理智能城市房地产交易的概念框架
原文标题： A conceptual framework for blockchain smart contract adoption to manage real estate deals in smart cities原文作者： Fahim Ullah ， Fadi Al-Turjman原文机构： University of New South Wales，Research Center for AI and IoT in Near East University原文地址： https://do.
2021-11-27 23:01:31
6594
1
原创 09组织安全：为 MFA 的采用实施基于风险降低的激励模型
原文标题： Organizational Security:Implementing a Risk-Reduction-Based Incentivization Model for MFA Adoption原文作者： Sanchari Das, Andrew Kim, and L. Jean Camp原文机构： University of Denver,Indiana University Bloomington原文地址： https://fc21.ifca.ai/papers/249.pdf.
2021-11-23 23:08:30
138
原创 多重身份认证MFA
多因素身份验证 (MFA)是一种身份验证方法，它使用两种或多种不同的机制来验证用户的身份，而不仅仅是依赖简单的用户名和密码组合。MFA 有助于防止对应用程序和敏感数据的未经授权访问，帮助组织抵御身份盗用、网络攻击和数据泄露。 企业使用 MFA 来控制对内部 IT 系统和解决方案以及面向客户的应用程序的访问。在消费者领域，金融服务公司、医疗保健
2021-11-22 19:13:30
5313
原创 08弹性哈希供应加剧了自私挖矿攻击
原文标题： Selfish Mining Attacks Exacerbated by Elastic Hash Supply原文作者： Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi ,Shin’ichiro Matsuo, and Aron Laszka原文机构： NTT Research, Cornell University, Georgetown University, University of Houston原文地址： http.
2021-11-21 21:39:17
1681
原创 跳池攻击Pool hopping attack
原文链接： https://blog.csdn.net/Fly_hps/article/details/83055705 矿池对收益的结算模式几种主流的方式Proportional 这是一种比较直接的奖励机制，它使用当前矿池发现的上一个区块到下一个区块被发现作为一个周期，统计在这之间每个矿工所提交的share，然后计算每个矿工所占的份额，即百分比，然后发放区块奖励 &.
2021-11-18 13:32:51
316
原创 06云计算中具有多关键字搜索的基于区块链的公钥加密
原文标题： Blockchain-Enabled Public Key Encryption with Multi-Keyword Search in Cloud Computing原文作者： Zhenwei Chen,Axin Wu,Yifei Li,Qixuan Xing and Shengling Geng原文机构： 西安邮电大学，暨南大学，青海师范大学，青海省西宁市高原科学与可持续发展研究所原文地址： https://doi.org/10.1155/2021/6619689发表日期/期刊.
2021-10-31 16:00:49
4297
原创 2021-10-26V神最新演讲：Layer2是以太坊扩展的未来
文字版最近在万向峰会上，曾经多次提及的主题，而且在其他峰会多次体积的主题是扩容，扩容是区块链领域面临的最大的挑战之一。包括在当今我们面临的最大的挑战，比如区块链在去中心化和保证安全方面很有效，但区块链它只能处理非常小的交易量，也就是它的TPS非常有限。大概几年之前，这样的区块链状态并没有给我们造成太大的问题，因为之前的区块链用户不多。但是最近我们看到了很多人想要使用区块链，这个数字还在与日增长。而且人们希望在区块链上做越来越多的事情，这样的人数也在与日俱增。现在又出现了各种各样的应用，DeFi、Gamef
2021-10-26 22:50:20
193
原创 05仅在链上是不够的_确保基于区块链的源头追踪系统的链上预数据的可信度
原文标题：On-chain is not Enough: Ensuring Pre-data on the chain Credibility for Blockchain-based Source-tracing Systems原文作者：Y. Wang, Z. Wang, G. Yang, S. Ai, X. Xiang, C. Chen, M. Zhao原文地址： https://doi.org/10.1016/j.dcan.2021.10.002.发表会议：Digital Communicat.
2021-10-21 23:46:00
280
原创 04基于区块链技术的医疗器械供应链管理方法研究
原文标题：Research on Medical Equipment Supply Chain Management Method Based on Blockchain原文作者： Yaoming Yue，Xueliang Fu，Hohhot发表期刊：2020 International Conference on Service Science (ICSS)原文地址：DOI 10.1109/ICSS50103.2020.00030笔记整理：doxbwx@163.comos：该篇出发点好，但与区.
2021-10-19 22:59:50
2290
原创 03基于区块链的电子病历数据库索引设计
原文标题：Index Design of Electronic Medical Record Database Using Blockchain原文地址：DOI 10.1109/ICMCCE51767.2020.00438发表会议：2020 5th International Conference on Mechanical, Control and Computer Engineering (ICMCCE)笔记整理：doxbwx@163,com1.简介电子简历（EMR）是一种高度敏感的医疗数.
2021-10-15 21:51:14
3925
原创 02 区块链的安全和隐私
原文标题：Security and Privacy on Blockchain原文作者：RUI ZHANG， RUI XUE,，LING LIU原文地址：https://doi.org/10.1145/3316481发表会议：2019 ACM Computing Surveys, Vol. 52, No. 3, Article 51笔记整理：doxbwx@163.com1.简介 作者通过调研分析过去五年内数千篇.
2021-10-15 00:24:53
3254
原创 01区块链研究的最新进展理论、建模和工具
主流区块链平台比特币 区块链被视为执行第一个数字加密货币的区块链系统，它建立在以下两种主要技术上：Nakamoto Consensus 和 UTXO Model以太坊 以太坊是个开源的区块链平台，支持智能合约平台功能，Either作为以太坊的代币，它会奖励给那些进行计算以确保区块链的一致性的矿工。以太坊在去中心化的以太坊虚拟机（EVMs
2021-10-11 00:25:11
2905
以太坊、私有链搭建、web3教程、Truffle开发入门.rar
2021-10-26
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人