欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Huihoo Network
小 (→简介) |
小 (→简介) |
||
第19行: | 第19行: | ||
Huihoo blockchain/bitcoin trading 缩写:HBT | Huihoo blockchain/bitcoin trading 缩写:HBT | ||
− | |||
− | |||
− | |||
− | |||
整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。 | 整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。 |
2021年12月29日 (三) 06:23的版本
灰狐区块链
目录 |
愿景
Huihoo Network(Functional Network):一个区块链网络,安全云存储。
Huihoo blockchain & bitcoin
区块链会成为全球金融的基础架构。
Haskell ecosystem + Cardano 是 Huihoo Network 基础架构。
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中文
简介
Huihoo区块链公链/私有链和数字货币应用
项目缩写:HBC,BC取BlockChain和BitCoin的大写字母。
Huihoo blockchain/bitcoin trading 缩写:HBT
整个体系(Software Foundations) 建立在软硬件安全、可靠性和形式化验证基础上,OCaml(Coq) & Haskell(Agda, Idris) 是核心语言和形式化能力。
架构
基于Actor model构建的消息事件驱动、高并发、响应式、集群高可用的基础架构。
为每笔交易分配一个Actor,同时进行的100万笔交易,也就有100万个Actor。
Aeternity区块链核心代码使用Erlang编写,使用该语言能够轻松的写出去中心化、容错、高并发、软实时、人人都能使用的应用,提供了极佳的参考实现。
使用Erlang编写的Apache CouchDB作为状态数据库。
网络
语言
Erlang 在分布式系统、通信、安全、区块链领域拥有自己的江湖地位。
Telegram
Telegram似乎找到了区块链最好的发展方式, ICO吸金17亿美元。Telegram将利用融资打造名为Telegram Open Network (TON)的区块链网络,Telegram的2亿用户将可以在该网络用其发行的数字货币GRAM购买服务。Telegram称,目标是让TON的交易速度超过比特币和以太坊区块链,可能与VISA和万事达卡竞争。
Cardano
ADApools.org 权益池运营商 (SPO) 任务驱动的权益池
Cardano Stake Pool 运营 (2022)
比特币
以太币
- 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