这一多月写了一份NFT合约，合约的代码上线至币安主网链，分别是ERC1155类型的NFT合约，质押合约，以及兑换合约。大家可以根据源码精度学习，欢迎点赞，评论区交流。

详细介绍抢跑者是如何进行攻击的。

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。

Solidity开发者应掌握的十个智能合约: ERC-20 合约，ERC-721 合约，简单拍卖合约，众筹合约，托管合约，多签钱包合约，投票合约，域名注册合约，预测市场合约，游戏合约

今天，ZeroSync（一个为使用零知识证明拓展比特币而成立的协会）的开发者 Robin Linus 提出了 “BitVM”，为将来的比特币应用开发打开了非常有趣的可能性。它可以启用几乎所有的任意计算，并使用这些计算来执行在比特币链上发生的事情。

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。

如何创建 零知识证明并在Solidity 合约中验证

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，

在这篇博客中，我们将学习开发可升级智能合约背后的基本设计原则。最后，你会更清楚为什么要升级智能合约，如何升级智能合约，以及升级时需要考虑的问题。本文章主要关注以太坊和基于EVM的智能合约。

Brownie是Python开发人员经常使用智能合约框架。现在出现了一个Brownie的继任者，可以让PythonWeb3开发人员获得更好的体验。在本文，我将讨论开发框架 ApeWorX，也称为“Ape”。