Kindelia-Chain+HVM:点对点函数式计算网络

这篇具有很好参考价值的文章主要介绍了Kindelia-Chain+HVM:点对点函数式计算网络。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

1. 引言

开源代码见:

  • https://github.com/Kindelia/Kindelia-Chain(Rust)
  • https://github.com/kindelia/hvm(Rust)

Kindelia基于以太坊,但对其进行了改进:

1. Start from Ethereum
2. Remove Ether (and the associated pre-mine)
3. Replace the slow EVM by the fast HVM
4. Replace slow Merkle trees by fast reversible heaps
5. Aggressively optimize and simplify everything
6. Actually build it all before raising any money
7. Deliver a working network with a fair release

Kindelia-Chain白皮书见:

  • Kindelia: a peer-to-peer functional computer
  • Kindelia: a peer-to-peer functional computer

里程碑规划为:

  • 2022.1~2022.7:完成白皮书和客户端原型,原型中包括:
    • PoW(Proof-of-Work)共识网络
    • 供计算的128-bit版本的HVM(High-Order Virtual Machine)
    • Reversible HVM heap snapshots, for statefulness
  • 2022.7~2023.1:
    • 对Kindelia网络和客户端原型进行大量测试。
    • 在以太坊网络发起Kindelia Foundation的INO(Initial Name Offering)。
    • 测试、定义、调整主网参数。
  • 2023.1~2024.1:
    • 挖出Kindelia创世块,在其上:
      • 部署有primitive utilities。
      • 由Kindelia Foundation注册Kindelia的empty namespace。
      • 在INO中购买的namespace将分配给其owners。
      • 将部署Kindelia Genesis Token(KGT)。
      • KGT与BTC类似,将减半,无预挖。
    • 用户可部署和使用Kindelia网络上的app。
    • Kindelia Foundation可通过grants和airdrops来mine和分配tokens。
    • 可能会存在停服、打补丁、调整参数等情况。
  • 2024.1~:
    • 网络稳定、无需再打补丁。
    • Kindelia将托管一系列防黑客应用程序,费用最低,运行时间无限长。
    • Kindelia Foundation将不再维护网络,重点将关注:
      • 改进HVM
      • 改进Kind-Lang
      • 研究layer2 扩容方案
      • 开发生态应用
      • 赞助社区项目
    • 可能会有由社区驱动的参数调整。

2. HVM:高阶虚拟机

HVM(High-order Virtual Machine,高阶虚拟机)基于Interaction Net计算模型。Interaction Net计算模型有可能可取代Turing Machine和Lambda Calculus。

Interaction Net计算模型的优点有:

  • memory-efficient(无需GC)
  • automatic parallelism
  • beta-optimally

借助HVM,仅需要编写简单的函数式程序,HVM会将该程序转换为高度并行化、beta-optimal的可执行文件。

HVM在某些方面的性能要由于Haskell的GHC。

2.1 HVM vs. EVM

HVM vs. EVM:

  • EVM为slow stack machine,HVM为fast graph reduction machine。
  • EVM采用slow Merkle trees,HVM采用fast heap snapshots。

使得HVM适合运行以下2种app:

  • 1)形式化验证app:这些形式化验证app采用函数式编程语言(Idris、Agda和Kind)开发,支持“形式化验证”其正确性。这对DApps来说价值极大。
  • 2)Real-Time app:游戏和exchange等app中包含了大量状态变化,对于以太坊来说,这些状态变化的存储将非常昂贵——主要是由于SSTORE opcode具有high cost。HVM采用fast heap snapshots替换slow Merkle trees,使得相应状态变化的存储将很便宜。

3. Kindelia-Chain:点对点函数式计算网络

Kindelia-Chain为点对点函数式计算网络,可hosting decentralized apps that stay up forever。为Ethereum的最小化重设计,不同之处在于:文章来源地址https://www.toymoban.com/news/detail-400628.html

  • 1)无native coin,不是crytpocurrency,而是cryptocomputer。
  • 2)借助HVM及其函数式opcodes,可host functional apps cheaply。
  • 3)借助1s blocks、reversible heaps和zero-cost SSTOREs,可host real-time apps cheaply。
  • 4)极度最小化。其Rust客户端仅有约1万行代码,而Go Ethereum有约60万+行代码。
  • 5)最大程度去中心化,而不仅仅是技术方面的。解决了政治和经济集权问题。
  • 6)永远都是基于PoW共识的。事实上,也无法使用PoS,因其无内置currency。

到了这里,关于Kindelia-Chain+HVM:点对点函数式计算网络的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • BSV 上的点对点结算衍生品:远期合约

    远期合约是两方在特定未来时间以预定价格买卖资产的衍生工具。它是一种非常常见的对冲波动性的工具。因此,使用 USD 远期合约可以对冲 USD 兑 BSV 汇率的波动。 远期合约的收益图 例如,Alice 与 Bob 签订了一份 USD 远期合约。Alice 同意从现在起一个月后以每 BSV 100 USD 的价格

    2024年01月20日
    浏览(52)
  • ffmpeg点对点音视频udp协议传输

    参考:https://zhuanlan.zhihu.com/p/636152437?utm_id=0 ffmpeg查看可用设备: 局域网内两台设备间 局域网内两台设备间

    2024年04月10日
    浏览(44)
  • 思科路由器点对点故障的解决方法

    思科路由器采用CPOS接口,节省了一个TM传输设备,配线也简单多了,同时还节省很多的同轴电缆,用一根光纤全部解决,CPOS接口内部分为了多个接口,通过这种接口可以用一个端口与多个物理接口相连。   这种连接和帧中继、X.25的虚连接不同,实际上仍然是物理相连,在传

    2024年02月05日
    浏览(51)
  • SpringBoot整合 websocket 实现群聊,点对点聊天

    1.websocket websocket最伟大之处在于服务器和客户端可以在给定的时间范围内的任意时刻,相互推送信息。浏览器和服务器只需要要做一个握手的动作,在建立连接之后,服务器可以主动传送数据给客户端,客户端也可以随时向服务器发送数据。 第一、WebSocket是HTML5中的协议,支

    2024年02月08日
    浏览(36)
  • C#实现udp点对点通信的完整示例

    udp和tcp都是传输协议,最大的不同是,tcp通信前需要建立连接,是更可靠的通信协议,而udp是一个无连接的传输协议,可直接发送数据。两种协议不分优劣,各有各的应用场景,实际应用往往会同时使用两种协议。 C#代码实现udp通信的步骤比较简单。 假设:A要向B发送消息。

    2024年02月16日
    浏览(40)
  • 同城跑腿系统源码,点对点配送,帮你省时省力

    随着互联网的发展,越来越多的人开始依赖网络来解决生活中的各种问题。而同城跑腿系统就是其中一个受欢迎的解决方案。 ​同城跑腿系统是指一种基于互联网的服务,通过在线平台将用户和服务提供者连接起来,以便用户可以轻松地安排他们的日常任务和需求。 一、同

    2024年02月06日
    浏览(55)
  • VB点对点聊天文件传输系统设计与实现

    本程序使用VB语言编程,使用WinSock控件完成的点对点(P2P)聊天和文件传输程序。可以实现两台机器间互发消息,并且有聊天和文件传输记录,安全可靠。 p2p WinSock,聊天和文件传输程序,VB P2P是一种技术,但更多的是一种思想,有着改变整个互联网基础的潜能的思想。

    2024年02月13日
    浏览(41)
  • C语言的UDP多线程点对点发送消息

    windows下使用Dev C++调试 Server段: /**  * 编译命令:gcc udps.c -lws2_32 -lmycon -lwinmm -o us.exe  */ Client端: /**  * 编译命令:gcc udpc.c -lws2_32 -lmycon -lwinmm -o uc.exe  */ mycon.h(32位) mycon.h(64位) 仅供学习

    2024年02月16日
    浏览(45)
  • 基于IPC-CFX的点对点通信C#

            IPC-CFX有两种主要的通信方式,可以通过RabbitMQ发布和订阅,也可以通过request和response进行点对点的通信,本文主要讲的是点对点的通信方式。         在vscode里建立新的dotnet项目,可以通过终端输入dotnet new console来建立,文件目录为CFXDemo-machine1和CFXDemo-machine2。  

    2024年02月16日
    浏览(46)
  • 基于多智能体点对点转换的分布式模型预测控制

    matlab2020正常运行 基于多智能体点对点转换的分布式模型预测控制资源-CSDN文库

    2024年01月22日
    浏览(49)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包