...后的原理和主要逻辑. 该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. # [ics002-client](https://github.com/cosmos/ics/tree/master/spec/ics-002-client-semantics) ## Motivation ...
...源码级错误。 *译者注：SMT是形式语言与自动机的相关知识，有兴趣的读者可以搜索 SAT 与 SMT 进一步了解，大致意思就是SMT/SAT是一个公式，可满足性是指是否存在一组输入使其为真。* ## Move Specification Language MSL是Move语言...
...，确保透明且可验证的交易。 准备好将你的通证经济学知识付诸实践了吗？ – 在 [Mercata Marketplace](https://marketplace.mercata.blockapps.net/) 上探索通证化的现实世界资产 – 开始质押具有透明供应指标的实物资产 – 亲身体验基于区...
...6) **！** Optimistic rollups 正在迅速成熟。当我们步入“从零到一”阶段之后，优化成为了游戏的关键，最直接的优化就是成本。**在接下来的一个月内，我们将通过在任何生产 ORU 网络上部署首个系统范围的 calldata 压缩，降低 30-...
...语言的支持、以编程方式跨不同区块链进行桥接以及对零知识证明的内置支持。 Solana 的新代币标准 Token22 引入了诸如[机密转账](https://learnblockchain.cn/article/14123)和转账Hook之类的功能，从而进一步增强了企业在 SPE 上构建的能...
...解释区块链和加密货币之间的关键区别，归结为理解基础知识、各自的目的以及它们之间的关系，我们将在本文中讨论这些。 ## 什么是区块链？ 该术语通常用于指代技术本身和根据该技术构建的去中心化网络。 从广义上讲，...
...服务的人权。像 Initia 这样的区块链平台在众多类型的零知识和相关隐私实用程序中具有强大的潜在适用性，可用于广泛的用途。 - **支付**\- rollup，例如由像 Initia 这样的平台提供的 rollup，在各种支付系统（无论是企业还是零...
...ttps://ngrok.com/) 用于公开暴露你的本地服务器 - [Solana 基础知识](https://learnblockchain.cn/article/11196-development/getting-started/solana-fundamentals-reference-guide?utm_source=internal&utm_campaign=guides&utm_content=how-to-stream-solana-program-data) 和 [IDL 知识](https://...
...evidence%20that,if%2C%20that%20state%20is%20correct.) 和 [zk-rollups（零知识rollup)](https://learnblockchain.cn/article/18964)）或密码经济保证（通过 [fraud proofs（欺诈证明)](https://learnblockchain.cn/article/12889#:~:text=A%20fraud%20proof%2C%20also%20known,and%20attempts%20to...
...in-slashed-validator-proofs/19421)：使用 EVM 中的 EIP4788 信标块根证明验证验证者未被削减 * Terence：在 ePBS（提案者-构建者分离） 之后 [构建者揭示时间博弈](https://ethresear.ch/t/builder-reveal-timing-game-in-epbs/19424) 研究 ## 客户端发布 * ...
...证直接集成到其开发过程中。形式化验证使用数学方法来证明代码的正确性，确保智能合约按预期运行。它通过一些根本性的改进来实现这一点 1. **Prover 工具：** “Move Prover” 专为在 Move 代码上执行形式化验证而设计。该...
...数字凭证。 它们还可以数字化现有记录，如教育文凭和知识产权合同，从而提高凭证的透明度并开辟新的自动化形式。 ## 开始构建你自己的 NFT 项目 上面提到的每个用例仍处于起步阶段。 从开创成功的货币化模式到建立通用...
...方案来确保数据安全。比如说通过哈希、同态加密或者零知识证明的方式对链上数据进行加密处理。  这份合约里的两个方法都很简单...
...有者提供了参与 staking 活动的替代途径。 截至 2024 年的知识截止日期，像 DappRadar 这样的平台已经出现，为 Polkadot 爱好者通过 **wrapped tokens** 和 DeFi 协议参与 staking 和产生收益的机会提供了途径。 ## 导航 [DappRadar Staking 平台](ht...