跨链事务原子性保障机制

成果：哈希时间锁及其优化方案Lilac的设计与实现一、成果介绍基于长安链实现针对跨链资产交换原子性保障的哈希时间锁方案，保证跨链状态变化一致，并针对哈希时间锁机制串行预锁资产造成的高时延、资产交换效率低下、时间锁设置不合理导致跨链资产原子性破坏风险等问题，首次提出哈希时间锁的优化方案Lilac。方案抽象出独立的跨链事务层，将事务处理和应用逻辑分层解耦，减少对业务的侵入性，使得应用开发更加简单方便，整体跨...

2023-05-29

智能合约与虚拟机的测试与验证

成果：长安链合约虚拟机的模糊测试工具与智能合约漏洞检测工具一、成果介绍为防范智能合约虚拟机和智能合约应用安全漏洞对区块链用户的资产和数据造成严重损失，针对性构建模糊测试和漏洞检测工具，提升长安链生态安全。长安链Wasm合约虚拟机的模糊测试工具，提出了基于自适应变异策略的模糊测试技术，动态的寻找变异操作的最佳概率，有效挖掘深层次虚拟机缺陷。相比业界主流的AFL系列工具，测试覆盖率平均提升10%，缺陷检测速...

2023-05-29

面向长安链的链下扩容技术

成果：面向区块链的链下扩容通道一、成果介绍1.针对大规模交易的链下通道技术：降低时延，高效处理参与者通过产生交易以及签名来进行交易，每笔交易后交易双方更新链下状态。在通道内的交易会非常的快速和安全，无需参与链上共识。2.链下节点动态增删机制：动态准入，动态准出链上合约负责管理节点的信用值，通过设置初始通道节点的权限，让通道管理员对申请进入通道的节点进行审核。3.链上链下的高性能协作体系：协同作业，高...

2023-05-29

性能度量和动态自适应架构

成果：区块链多尺度性能体系与自适应测量框架一、成果介绍弥补区块链性能度量技术的缺失，建立了多尺度的性能体系，研发了自适应测量框架，实现了区块链量化测试评估与运行时自我感知。长安链性能指标与度量方法·定义了全面覆盖“网络-信息-安全”的性能指标及其测量方法·可量化性能之间相互影响、以及在节点上扩散的过程·与长安链配置、参数关联，为全局优化构建优化空间 长安链松耦合性能测量框架·精确定位插桩点，测量函数在...

2023-05-29