全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

stark证明实操python实现01

通过stark简单证明实操python-01
Python  zkSTARK 

区块链关注的是协议，而非货币

文章主要讨论了区块链在定义协议方面的潜力，认为其价值不仅限于加密货币。通过智能合约，区块链能够实现自动执行的法律协议、简化监管合规流程、以及实现零风险的闪电贷等应用。强调了区块链在提高业务效率、交易透明度以及金融市场效率方面的作用，并提出区块链应与现有法律和机构相结合，以提升其功能性。
区块链  智能合约  监管合规  闪电贷  业务协议  交易透明度 

ERC20快照

文章详细介绍了ERC20快照技术，解决双花投票和重复领取空投的问题，并探讨了其实现机制和OpenZeppelin的解决方案。
ERC20  快照  双花投票  OpenZeppelin  Solidity  智能合约 

利用 OP Stack 和 Optimism 实现 Base 的去中心化

Coinbase 推出以太坊 Layer 2 网络 Base，旨在提供安全，低成本，对开发者友好的链上 Dapp 构建方式。Base 基于 OP Stack 构建，与 OP Labs 和 Optimism Collective 合作，共同扩展以太坊，目标是创建一个强大的，可互操作的 web3 生态系统，将 10 亿用户引入 web3。
以太坊  Layer 2  OP Stack  Optimism  去中心化  EIP4844 
  • base__
  • 发布于 2023-02-24
  • 阅读 ( 210 )

什么是永续合约？

本文介绍了加密货币的永久合约，特别是其运作原理、优势及风险。文章详细讲解了永久合约与传统期货的不同、如何在交易所进行交易、资金费率机制以及如何利用杠杆进行交易，为希望了解和进入加密货币衍生品市场的投资者提供了全面的信息。
永久合约  加密货币衍生品  杠杆交易  资金费率  风险管理  dydx 
  • dYdX
  • 发布于 2023-02-24
  • 阅读 ( 812 )

SharkTeam：Move语言安全性分析及合约审计要点之重放攻击

in  智能合约安全
SharkTeam【Move语言安全性分析及合约审计要点】系列课程将带您逐步深入，内容包括权限漏洞、重入漏洞、逻辑校验漏洞、函数恶意初始化、回退攻击、提案攻击、合约升级漏洞、操纵预言机、三明治攻击、重放攻击。本章内容【重放攻击】。
  • SharkTeam
  • 发布于 2023-02-24
  • 阅读 ( 2755 )
  • ( 3 )

零知识证明编码入门

零知识证明正变得越来越流行，但可能很难找到入门资料。在花了一些时间研究这个主题之后，我整理了我学到的东西，希望它能帮助大家入门零知识证明编程。
circom  Halo2  零知识证明 
  • aisiji
  • 发布于 2023-02-24
  • 阅读 ( 5840 )
  • ( 39 )

NFTScan 与 KNN3 在 NFT 数据层面达成合作伙伴关系

近日，NFT数据基础设施NFTScan与KNN3达成合作伙伴关系，双方将在NFT数据层面展开合作，为KNN3协议和产品提供专业的NFT数据服务。

区块链事关协议，而非货币

本文讨论了区块链技术在促进协议达成、提高业务效率和改善监管合规性方面的潜力，并认为区块链不仅仅是加密货币，它还可以应用于业务协议标准化、实时监管合规性以及通过闪电贷实现无抵押套利，从而提高整体市场效率。区块链应该与现有法律和机构相结合，以实现更高效的业务运营。
区块链  智能合约  业务协议  监管合规  闪电贷  Web3 商业 

如何构建一个假去中心化的跨链协议

探究跨链协议的安全性问题
跨链 
  • 7UpDAO
  • 发布于 2023-02-24
  • 阅读 ( 2882 )

基础篇-Option

in  Rust入门基础到进阶教程
Rust处理空值
  • 木头
  • 发布于 2023-02-24
  • 阅读 ( 2497 )
  • ( 2 )

基础篇-枚举类型与匹配

in  Rust入门基础到进阶教程
枚举定义，枚举方法，match匹配
  • 木头
  • 发布于 2023-02-24
  • 阅读 ( 2282 )
  • ( 3 )

EIP-1167：带初始化的最小代理标准（克隆模式）

in  代理模式与 Delegatecall 规范手册
本文详细介绍了EIP-1167标准，即最小代理合约，用于廉价创建代理克隆。文章深入解析了其工作原理、字节码结构、初始化函数及实际应用示例，帮助开发者理解如何高效部署相似合约。
EIP-1167  最小代理合约  Solidity  代理模式  初始化函数 

GMX：一个真实收益与去中心化金融基础设施的启动平台

本文探讨了GMX协议在DeFi生态系统中的作用及其如何提供可持续收益。文章介绍了什么是真正收益（Real Yield）、GMX的运作及其代币经济学，并讨论了35个以上基于GMX的协议，展示了DeFi组合性（composability）如何促进金融工具的快速创新。
GMX  DeFi  真实收益  代币经济学  组合性  协议 

NFTScan x TiDB 丨一栈式 HTAP 数据库为 Web3 数据服务提供毫秒级多维查询

本文介绍了 NFTScan 数据架构面临的挑战、选型的思考、迁移至 TiDB 的过程以及迁移后获得的收益。一体化的 HTAP 架构能够替代 MySQL + Elasticsearch 的能力，成为支撑在线数据服务的最佳选择。

stark数学基础和翻译名词

stark数学概念和翻译
区块链中的数学  zkSTARK 

基础篇-方法

in  Rust入门基础到进阶教程
定义方法， 带有更多参数的方法，关联函数，多个impl块
  • 木头
  • 发布于 2023-02-23
  • 阅读 ( 2329 )
  • ( 4 )

互操作性三难困境

本文深入探讨了以太坊多链互操作性的难题，将互操作性协议分为原生验证、外部验证和本地验证三种类型，并提出了互操作性三难困境：信任性、可扩展性和通用性不可兼得。Connext 的 NXTP 协议旨在实现安全和可扩展性，并通过协议栈的方式，在 NXTP 基础上添加原生验证协议，以实现通用性。
跨链桥  互操作性  以太坊  NXTP  Connext  信任 

EVM 第一部分：以太坊虚拟机基础知识

本文详细介绍了以太坊虚拟机（EVM），EVM可以理解为是一种隔离环境，专门用于处理智能合约交易，以及确定每个新挖出的区块的以太坊区块链的总体状态。文章从EVM的虚拟机器、状态机器、准图灵完备机器三个角度，由浅入深地介绍了EVM的原理、架构和工作机制，为读者构建了EVM的完整知识体系。
以太坊虚拟机  智能合约  状态机  图灵完备  EVM架构  EVM工作原理 

Simperby：多链旅程的DAO宇宙飞船

Simperby是一个多链互操作性平台，允许DAO与各种区块链上的Dapps进行交互。它使用轻客户端技术在不同区块链之间实现无需信任的消息传递，例如在Simperby链和结算链之间。Simperby DAO可以控制各种多链应用，如资金库、代币发行和DeFi服务，并具备通用互操作性，甚至可以扩展到现实世界。
多链互操作性  DAO  轻客户端  Simperby  结算链  零知识证明