欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo Network
小 (→网络) |
小 (→链接) |
||
(未显示1个用户的8个中间版本) | |||
第9行: | 第9行: | ||
[[blockchain|区块链]]会成为全球金融的基础架构。 | [[blockchain|区块链]]会成为全球金融的基础架构。 | ||
− | [[Haskell ecosystem]] + [[Cardano]] 是 Huihoo Network | + | [[Haskell ecosystem]] + [[Cardano]] 是 Huihoo Network 基础架构,将 Cardano 作为全球环境、社会和治理(ESG)挑战的解决方案。 |
[https://github.com/input-output-hk Input Output] [https://cardano.org/ Cardano Foundation] [https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] [https://cardano.org/what-is-ada/ ADA加密货币] [https://forum.cardano.org/t/cardano/82144 为什么人们无法评估Cardano的潜力] [https://forum.cardano.org/t/cardano/76981 Cardano如何实现中本聪的愿景] [https://forum.cardano.org/t/cardano/67573 Cardano和比特币可以共存并相互支持] [https://forum.cardano.org/t/alonzo-cardano/76973 Alonzo为Cardano带来智能合约] [https://github.com/input-output-hk/essential-cardano The Essential Cardano list] [https://input-output-hk.github.io/adrestia/ Adrestia Project] [https://medium.com/@cardano.foundation/why-cardano-chose-haskell-and-why-you-should-care-why-cardano-chose-haskell-and-why-you-should-f97052db2951 Why Cardano chose Haskell — and why you should care] [https://forum.cardano.org/c/chinese/39 Cardano中文] | [https://github.com/input-output-hk Input Output] [https://cardano.org/ Cardano Foundation] [https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] [https://cardano.org/what-is-ada/ ADA加密货币] [https://forum.cardano.org/t/cardano/82144 为什么人们无法评估Cardano的潜力] [https://forum.cardano.org/t/cardano/76981 Cardano如何实现中本聪的愿景] [https://forum.cardano.org/t/cardano/67573 Cardano和比特币可以共存并相互支持] [https://forum.cardano.org/t/alonzo-cardano/76973 Alonzo为Cardano带来智能合约] [https://github.com/input-output-hk/essential-cardano The Essential Cardano list] [https://input-output-hk.github.io/adrestia/ Adrestia Project] [https://medium.com/@cardano.foundation/why-cardano-chose-haskell-and-why-you-should-care-why-cardano-chose-haskell-and-why-you-should-f97052db2951 Why Cardano chose Haskell — and why you should care] [https://forum.cardano.org/c/chinese/39 Cardano中文] | ||
第16行: | 第16行: | ||
==简介== | ==简介== | ||
+ | [[文件:Plutus-language-logo.png|right|Plutus language]] | ||
+ | |||
[[Huihoo]]区块链公链/私有链和数字货币应用 | [[Huihoo]]区块链公链/私有链和数字货币应用 | ||
第24行: | 第26行: | ||
整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。 | 整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。 | ||
− | [[Open Provable Foundation]] 是基石。 | + | [[Plutus]] 是智能合约语言,[[Open Provable Foundation]] 是基石。 |
[https://aws.amazon.com/cn/blogs/china/tag/%E6%B7%B7%E6%B2%8C%E5%B7%A5%E7%A8%8B/ 混沌工程(Chaos Engineering)]是一门新兴的技术学科,它的初衷是通过实验性的方法,让人们建立复杂分布式系统能够在生产中抵御突发事件能力的信心。 | [https://aws.amazon.com/cn/blogs/china/tag/%E6%B7%B7%E6%B2%8C%E5%B7%A5%E7%A8%8B/ 混沌工程(Chaos Engineering)]是一门新兴的技术学科,它的初衷是通过实验性的方法,让人们建立复杂分布式系统能够在生产中抵御突发事件能力的信心。 | ||
==架构== | ==架构== | ||
+ | [[文件:Aeternity-logo.png|right|Aeternity]] | ||
基于[[Actor model]]构建的消息事件驱动、高并发、响应式、集群高可用的基础架构。 | 基于[[Actor model]]构建的消息事件驱动、高并发、响应式、集群高可用的基础架构。 | ||
第42行: | 第45行: | ||
==语言== | ==语言== | ||
− | [[Erlang]] 在分布式系统、通信、安全、区块链领域拥有自己的江湖地位。 | + | [[Erlang]], [[Haskell]] 在分布式系统、通信、安全、区块链领域拥有自己的江湖地位。 |
[[e language]] | [[e language]] | ||
+ | |||
+ | ==DAO== | ||
+ | [[OpenDAO]] | ||
==Telegram== | ==Telegram== | ||
第52行: | 第58行: | ||
==Cardano== | ==Cardano== | ||
+ | [[文件:Cardano-logo.png|right|Cardano]] | ||
+ | 比特币和以太坊被命名为第一代和第二代区块链技术。同样地,[[Cardano]] 也被称为第三代加密货币。 | ||
+ | |||
[https://adapools.org ADApools.org] 权益池运营商 (SPO) [https://forum.cardano.org/t/5-ada-cardano/59194 任务驱动的权益池] | [https://adapools.org ADApools.org] 权益池运营商 (SPO) [https://forum.cardano.org/t/5-ada-cardano/59194 任务驱动的权益池] | ||
[https://github.com/input-output-hk/essential-cardano Cardano Stake Pool] 运营 (2022) | [https://github.com/input-output-hk/essential-cardano Cardano Stake Pool] 运营 (2022) | ||
+ | |||
+ | [[区块链社会]] | ||
==比特币== | ==比特币== | ||
第129行: | 第140行: | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
+ | image:cardano-blockchain.png|Cardano区块链 | ||
image:cardano-ecosystem.jpg|Cardano生态系统 | image:cardano-ecosystem.jpg|Cardano生态系统 | ||
image:hyperledger-fabric-blockchain-network.png|区块链网络 | image:hyperledger-fabric-blockchain-network.png|区块链网络 | ||
第143行: | 第155行: | ||
==链接== | ==链接== | ||
− | |||
*[https://www.elastos.org/ 亦来云:区块链驱动的智能互联网] | *[https://www.elastos.org/ 亦来云:区块链驱动的智能互联网] | ||
2023年4月10日 (一) 23:12的最后版本
灰狐区块链
目录 |
[编辑] 愿景
Huihoo Network(Functional Network):一个区块链网络,安全云存储。
Huihoo blockchain & bitcoin
区块链会成为全球金融的基础架构。
Haskell ecosystem + Cardano 是 Huihoo Network 基础架构,将 Cardano 作为全球环境、社会和治理(ESG)挑战的解决方案。
Input Output Cardano Foundation Cardano Improvement Proposals (CIPs) ADA加密货币 为什么人们无法评估Cardano的潜力 Cardano如何实现中本聪的愿景 Cardano和比特币可以共存并相互支持 Alonzo为Cardano带来智能合约 The Essential Cardano list Adrestia Project Why Cardano chose Haskell — and why you should care Cardano中文
Computecoin Building the Foundation of the Metaverse
[编辑] 简介
Huihoo区块链公链/私有链和数字货币应用
项目缩写:HBC,BC取BlockChain和BitCoin的大写字母。
Huihoo blockchain/bitcoin trading 缩写:HBT
整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,OCaml(Coq) & Haskell(Agda, Idris) 是核心语言和形式化能力。
Plutus 是智能合约语言,Open Provable Foundation 是基石。
混沌工程(Chaos Engineering)是一门新兴的技术学科,它的初衷是通过实验性的方法,让人们建立复杂分布式系统能够在生产中抵御突发事件能力的信心。
[编辑] 架构
基于Actor model构建的消息事件驱动、高并发、响应式、集群高可用的基础架构。
为每笔交易分配一个Actor,同时进行的100万笔交易,也就有100万个Actor。
Aeternity区块链核心代码使用Erlang编写,使用该语言能够轻松的写出去中心化、容错、高并发、软实时、人人都能使用的应用,提供了极佳的参考实现。
使用Erlang编写的Apache CouchDB作为状态数据库。
[编辑] 网络
[编辑] 语言
Erlang, Haskell 在分布式系统、通信、安全、区块链领域拥有自己的江湖地位。
[编辑] DAO
[编辑] Telegram
Telegram似乎找到了区块链最好的发展方式, ICO吸金17亿美元。Telegram将利用融资打造名为Telegram Open Network (TON)的区块链网络,Telegram的2亿用户将可以在该网络用其发行的数字货币GRAM购买服务。Telegram称,目标是让TON的交易速度超过比特币和以太坊区块链,可能与VISA和万事达卡竞争。
[编辑] Cardano
比特币和以太坊被命名为第一代和第二代区块链技术。同样地,Cardano 也被称为第三代加密货币。
ADApools.org 权益池运营商 (SPO) 任务驱动的权益池
Cardano Stake Pool 运营 (2022)
[编辑] 比特币
[编辑] 以太坊
- Status a Mobile Ethereum Operating System, 创建一个浏览器、信使和通往去中心化世界的网关。Clojure 核心驱动,背后是 re-frame 和 reagent Clojure(Script) 框架,保证高效的开发和运营效率。
- web3.js Ethereum JavaScript API
- Web3.py
- Parity Fast, light, robust Ethereum implementation,使用Rust编写。
[编辑] 服务
比特币、以太坊已是经济体,做技术服务商。
[编辑] 生态
系统基础架构、策略、插件等采用MIT和Apache v2许可协议,
可采用红帽订阅模式销售升级、策略、插件、数据库、Hosting等服务。
[编辑] 应用
联邦制、去中心化,是我们一直推崇的。
内容分享、用户互动的去中心化、联盟化,Lemmy 是不错参考。
Lemmy — A link aggregator / reddit clone for the fediverse
个人博客、联邦制博客系统、实例之间的互链,Plume 是很好切入。
Plume — ActivityPub federating blogging application
先提供去中心化博客服务(类Plume) :)
再提供去中心化的灰狐百科和灰狐文档等服务。
[编辑] 项目
Huihoo bitcoin trading基于Meteor、Vert.x/Node.js和MongoDB构建,based on Gekko。
MongoDB连接串:mongodb://localhost:27017/gekko
$ git clone git://github.com/askmike/gekko.git $ npm install --only=production $ node gekko --ui http://localhost:3000
命令行运行Gekko
$ node gekko --config config.js $ node gekko --config config.js --backtest $ node gekko --config config.js --import $ node gekko --backtest $ node gekko --import
Gekko UI
$ cd gekko/web/vue $ npm install $ cd gekko/web $ node server http://localhost:3000 $ cd vue $ npm run dev 重编译UI $ cd gekko/web/vue $ npm run build
[编辑] 策略
- DEMA,Exponential Moving Average,指数移动平均线
- MACD (Moving Average Convergence/Divergence Oscillator) 移动平均收敛/发散 振荡器
- PPO(Percentage Price Oscillator)百分比价格振荡器
- RSI(Relative Strength Index)相对强度指数
- StochRSI
- CCI(Commodity Channel lndex)商品频道指数,属于超买超卖类指标中较特殊的一种,波动于正无限大和负无限小之间。
- talib-macd
- tulip-macd