概述：
我们提出了Arbitrum，一种支持智能合约的加密货币系统，不受先前系统（如以太坊）的可扩展性和隐私限制。与Ethereum一样，Arbitrum允许各方通过使用代码来指定实现合同功能的虚拟机（VM）的行为来创建智能合约。 Arbitrum使用机制设计来激励各方就VM的行为进行脱链协议，以便Arbitrum矿工只需要验证数字签名以确认各方已就VM的行为达成一致。如果双方无法达成一致的协议，Arbitrum仍然允许诚实的各方在链上推进VM状态。如果一方试图欺骗虚拟机的行为，验证者（或矿工）将通过使用利用Arbitrum虚拟机架构功能的高效挑战协议来识别和惩罚不诚实的一方。以这种方式将VM的行为验证转移到链外，可以显着提高可扩展性和隐私性。我们描述了Arbitrum的协议和虚拟机架构，并提出了一个工作原型实现。
2021-08-04 15:10:09
39KB
1
本资源原文为java-for-Anylogic-user英文版，即面向Anylogic用户的Java开发，本人纯手工翻译，讲述以拖放方式以外的编程思路，对于建立复杂系统有很大帮助。这是一个信息论，可以在模型中进行数据操作以及智能体的搭建。
2021-08-03 16:20:51
2.77MB
1
DO-178B中文标准规范，想做民航机载设备的的朋友必须按此标准实现软件开发，详细讲述了每种等级设备的含义以及不同等级的测试标准
2021-07-12 10:56:53
381KB
1
译文_C12345_STM32F407VGT6_2014-07-24.docx
2021-07-09 09:09:10
1.31MB
1