论文研读
关注
分享
扫一扫
文章平均质量分 93
haven-852
真正的大师，永远怀着一颗学徒的心
展开
-
【论文研读】-An Efficient Framework for Optimistic Concurrent Execution of Smart Contracts
时间戳协议应用于智能合约并行执行原创 2022-10-15 09:06:57 · 2926 阅读 · 0 评论 -
【论文研读】-Gear technical
快速了解Gear项目的核心技术，方面了解并行计算、异步编程、Actor模型原创 2022-10-03 21:21:41 · 3053 阅读 · 0 评论 -
【论文研读】-Defining the Ethereum Virtual Machine for Interactive Theorem Provers
利用VM测试套件来测试智能合约在交互式定理证明方面的安全性，属于是将交互式定理证明的方法换到不同的应用场景。原创 2022-09-16 17:34:11 · 1708 阅读 · 0 评论 -
【论文研读】-DiPETrans: A Framework for Distributed Parallel Execution of Transactions of Blocks in BLC
智能合约并行化开发-静态分析，基于领导者和跟随者的机制原创 2022-09-07 19:45:59 · 1248 阅读 · 1 评论 -
【论文研读】-Thread-level transactional memory(TTM)
我们评估了四种 TTM 实现——基于目录和基于广播的缓存一致性时间用于中止的轻型和重型硬件。微基准测试说明了 TTM 系统简化多线程编程的潜力以及 TTM 优于其他事务性内存实现的潜力。我们证明了 TTM-Light 与 TTM-Heavy 具有竞争力，即使是频繁中止，这表明全硬件解决方案是不必要的。使用 SPLASH-2 基准的四个“事务化”版本，我们证明了与使用传统锁相比，TTM 系统实现了可比或优越的性能原创 2022-09-03 16:19:57 · 571 阅读 · 0 评论 -
【论文研读】-A Parallel Smart Contract Model
智能合约静态分析并行化处理-交易分割算法原创 2022-08-26 10:14:21 · 1334 阅读 · 0 评论