很久没写博客了，最近发生了好多好多事，好像做了一个梦... 又回到了熟悉的生活方式，希望还是从前的我，不忘初心、励志前
首先我们来个小科普——你知道什么是形式化验证方法吗？ 所谓形式化验证方法，即指在计算机科学领域，特别是软件工程和硬件工程中，一种特殊的基于数学的技术，用于规范、开发和验证软件和硬件系统，以提高系统的安全性、可靠性和鲁棒性。形式化方法可以形容为建立在相当广泛的理论计算机科学基础上的应用，特别是逻辑演算，形式语言、自动机理论、离散事件动态系统和程序的语义，还包括类型系统和代数数据类型等理论。一般这类
本文会从solidity，EVM 和 Geth 三个层面解读这两个opcode，让你对它们有一个
环境 我们这次部署全程使用Docker，所以也就不会操作系统的烦恼，安装Docker
搭建验证节点 (成功下载快照) 部署 Solana 验证节点 由于项目需求，需要部署一台
前言 我们开发中经常用到Redis作为缓存，将高频数据放在Redis中能够提高业务性能，降低MySQL等关系型数据库压力，甚至一些系统使用Redis进行数据持久化，Redis松散的文档结构非常适合业务系统开发，在精确查询，数据统计业务有着很大的优势。 但是高频数据流处理系统中，Redis的压力也会很
说明：本文主要介绍Solana的共识机制、生态、钱包、浏览器等内容；介绍Solana合约特性以及
Solana节点提供遵循JSON-RPC 2.0规范的API接口。 要在JavaScript程序内方法Solana节点，可以使用solana-web3.js库，它提供了访问Solana节点的RPC方法的便捷接口。 Solana节点支持HTTP和WebSocket访问，端口及端接点URL如下所示： H
钱包 BIP32：定义 Hierarchical Deterministic wallet (简称 “HD Wallet”)，是一个系统可以从单一个 seed 产生一树状结构储存多组 keypairs（私钥和公钥）。好处是可以方便的备份、转移到其他相容装置（因为都只需要 seed），以及分层的权限控
本文主要对 Solana 区块链的基本概念进行了简要介绍，并介绍了开发 Solana 链上程序必须安装和配置的编程环境。通过对 Hello World 这个官方演示项目源码的解读，了解如何使用 Rust 开发链上程序，并使用 Solana CLI 来构建与部署，以及使用 Solana JavaScr
说明： 本测试基于Ubuntu 本测试基于nginx + squid 两个服务器：源服务器（web对外服务器）、缓存服务器（cdn服务器） 一、什么是CDN？ CDN（Content Delivery Network）是指内容分发网络，也称为内容传送网络。通过广泛的网络节点分布，提供快速、稳定、安全
geth启动的参数说明 ETHEREUM选项: --config value TOML 配置文件 --datadir "/home/user4/.ethereum" 数据库和keystore密钥的数据目录 --keystore keystore存放目录(默认在datadir内) --nousb 禁用
本文在2019年5月17日发布的《使用Chainlink预言机增强智能合约的44种方式》一文基础上做了进一步扩展。 去中心化金融 链下支付 NFT、游戏和随机数 保险 企业系统 供应链 公用事业 身份和授权 政府 可持续发展 链下计算 链下支付 智能合约可以轻松用原生区块链上的cryptocurre
管理员运行后重启，设置 > 附加功能 开启：Hyper-V 管理器
拉取最新的安装包 wget https://bitcoin.org/bin/bitcoin-core-22.0/bitcoin-22.0-x86_-linux-gnu.tar.gz 解压 tar -zvxf bitcoin-22.0-x86_-linux-gnu.tar.gz 全局命令安装
ETH 全节点Archive（归档）模式数据量增长图 上述图表可通过链接查看：https://etherscan.io/chartsync/chainarchive 通过上表，可以看到截止2019年8月12日，以太坊的全部区块数据已经高达2.8T，如果按照比特币的方式搭建全节点，会是一个很痛苦的事，
因应以太坊2.0 的即将来临，本篇文章将针对以太坊节点（Ethereum Nodes）做概论性的介绍，让读者能充分了解节点的运作机制。 以太坊网络Ethereum Network 以太坊Ethereum 是由分散式节点所组成的网络架构，这些节点称为「以太坊节点Ethereum Nodes」或「以太坊
今天生产节点出现了问题：区块高度落后最新高度几千个，最后发现是服务器内存吃完了，升级了内存之后解决。 以太坊数据同步常见问题集锦：https://blog..net/Lyon_Nee/article/details/112273194 节点同步慢原因以及解决方法： 1、以太坊钱包节点同步需要
本教程基于Ubuntu搭建 安装rust 如果已经安装了rust，则可以跳过这一小节，其实只要一个命令就可以了: curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh 安装后,根据提示需要source下PATH: source
本教程基于Ubuntu。 测试节点的搭建，solana已经准备好了docker镜像，因此先要保证你本机上已经可以运行docker。 基于上文： solana1.4.x提供了一个localnet.sh的脚步可以搭建一个本地的solana节点，然后在上面发布合约。 但是从solana1.5.0以后，官方
本教程适用于所有Linux系统 1. 从官网获取最新版本的可执行文件 官方下载地址：https://bitcoincore.org/en/download/，不同系统选择不同版本 Linux系统可执行以下命令快速获取 wget https://bitcoincore.org/bin/bitcoin-
这段时间元宇宙火爆天际了，从各个科技巨头的大动作到身边的同事朋友都在议论纷纷，想着写篇博客普及一下web3、元宇宙及记录一下自己的想法。 Web3的发展历程简介 Web3作为一种愿景，似乎是所有区块链行业项目的营销点，但多人说自己的项目将通往Web3，但很少有人能说清什么是Web3。 Web 3.0
Liquidity Providers 的数学原理 最近半年多一直在币圈玩 DeFi，这半年来增加了好多十分神奇的玩法，这都要得益于 Uniswap 的创新。 看了这么多 Up 主的视频，讲的都云里雾里的，其实就是简单的几个公式，这篇文章从头推导了无偿损失的公式，来计算一
这篇文章来讨论使用公积金贷款买房的最大化省钱空间。以下讨论均针对于上海市。因为公积金贷款比商业贷款利率低了近两个点，所以公积金贷款也是购房者的首选。下面我来较为全面的记录一下公积金贷款的所有细节问题。 使用公积金贷款的条件 购买上海市具有所有权的自住住房； 申请贷款前 6 个月连续正常缴存住房公积金
背景 在实现 LP池子时，需要计算 LP Token 的代币价值，从而方便的给用户提示 LP Token 当前准确的价格，来计算收益率。所以对 LP Token 的价值计算做了一点深入的研究，并且还翻阅到 Alpha Finance 团队的关于安全获取 LP 价格的方法。 本位将这些学习笔记分享给大
1.排序节点介绍 本节内容基于前几节介绍的hellowrold区块链环境基础，实现基于kafka模式的排序节点部署和测试。 Fabric 的共识模型是Execute-Order-Validate，即先执行再排序最后验证的过程。在创建区块链创世块以及通道的时候我们会用到一个configtx.yaml文
看一下mysql官方文档：https://dev.mysql.com/doc/refman/5.7/en/create-index.html ， 从上面的图中可以得知，mysql 是支持hash索引的，但支持和不支持又和具体的存储引擎有关系。从图中 看到InnoDB是支持Btree索引，这是我们众所
1.1. 索引入门 1.1.1. 索引是什么 1.1.1.1. 生活中的索引 MySQL官方对索引的定义为：索引（Index）是帮助MySQL高效获取数据的数据结构。 可以得到索引的本质：索引是数据结构。 上面的理解比较抽象，举一个例子，平时看任何一本书，首先看到的都是目录，通过目录去查询书籍里面的
Copyright © 2005-2025 51CTO.COM 版权所有 京ICP证060544号
