From 46f23c480acea026296ad4cc6306dd7afd4972a5 Mon Sep 17 00:00:00 2001 From: hogoqkl <148929545+hogoqkl@users.noreply.github.com> Date: Mon, 6 Nov 2023 19:08:25 +0800 Subject: [PATCH 1/4] Create task57.md --- task57.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 task57.md diff --git a/task57.md b/task57.md new file mode 100644 index 000000000..8b1378917 --- /dev/null +++ b/task57.md @@ -0,0 +1 @@ + From f6b095143ef4a5bf082cc9a5c9a094b802219969 Mon Sep 17 00:00:00 2001 From: hogoqkl <148929545+hogoqkl@users.noreply.github.com> Date: Mon, 6 Nov 2023 19:10:09 +0800 Subject: [PATCH 2/4] Update task57.md --- task57.md | 252 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 252 insertions(+) diff --git a/task57.md b/task57.md index 8b1378917..a0a5b60b4 100644 --- a/task57.md +++ b/task57.md @@ -1 +1,253 @@ +在测试下面合约时会出现问题： +某个多参数合约方法： +// SPDX-License-Identifier: MIT +pragma solidity ^0.6.0; +contract Test { +function methodWithLotsOfParameters( +uint256 param1, +uint256 param2, +uint256 param3, +uint256 param4, +uint256 param5, +uint256 param6, +uint256 param7, +uint256 param8, +uint256 param9, +uint256 param10, +uint256 param11, +uint256 param12, +uint256 param13, +uint256 param14, +uint256 param15, +uint256 param16, +uint256 param17, +uint256 param18, +uint256 param19, +uint256 param20 +) public pure returns (uint256) { +// Perform some operations with the parameters +return param1 + param2 + param3 + param4 + param5 + param6 + param7 + param8 + param9 + param10 + param11 + param12 + param13 + param14 + param15 + param16 + param17 + param18 + param19 + param20; +} +} + +填写参数后： +image + +返回的这个报错： + +image + +测试OpenZeppelin和WTF中的相关合约，使用合约IDE进行编译和部署的过程中未发现任何问题。合约IDE的编译版本为0.8.11。 + +针对测试，写了一个相关复杂合约（主合约代码如下），在编译、部署和调用过程中，未出现任何错误或异常情况，合约的功能和逻辑按预期工作，没有引发潜在的问题或漏洞。 +` +// SPDX-License-Identifier: MIT +pragma solidity ^0.8.7; + +import "Ownable.sol"; +import "Counters.sol"; +import "ECDSA.sol"; +import "EIP712.sol"; +import "SafeMath.sol"; +import "Strings.sol"; +import "ERC721.sol"; + +/* +@title 商品合约 +*/ +contract Product is ERC721, EIP712, Ownable { + +/// @title 商品信息 +struct ProductInfo { + uint256 price; // 当前价格 + uint256 tokenId; // 商品NFT对应的TokenId + address owner; // 商品所有者钱包地址 + uint16 transferCount; // 转让次数 + uint8 status; // 商品状态：0 未设置转让（不可购买） 1 设置转让了（可购买） +} + +/* =================== Events =================== */ + +/* + @title 事件 - 购买商品 + @param _sender 购买商品用户地址（商品持有者地址） + @param _productId 商品编号 + @param _price 商品价格 + @param _tokenId NFT token Id +*/ +event BuyProduct(address _sender, uint16 _productId, uint256 _price, uint256 _tokenId); + +using Strings for uint256; +using SafeMath for uint256; +using Counters for Counters.Counter; + +/* =================== Constants =================== */ + +//购买商品函数Hash +bytes32 public constant BUYLAND_HASH = keccak256("BuyProduct(address _admin,address _buyer,uint16 _productId,uint256 _productPrice,uint256 _nonce,uint256 _deadline)"); + +/* =================== State Variables =================== */ + +mapping(uint16 => ProductInfo) public Product; // 商品编号对应的商品信息 +mapping(address => uint16[]) public userProduct; // 用户持有的所有商品 +string public baseURI; +uint256 public currentTokenId; // 当前生成的最大tokenId +mapping(address => Counters.Counter) private _nonces; // 用户签名计数器 +mapping(address => bool) private admins; // 管理员（可信任组） + + /* =================== Modifier =================== */ + +// 用于判断是否是管理员 +modifier onlyAdmin(){ + require(msg.sender == owner(),"only by owner"); + _; + } + +// 用于判断TokenId是否存在 +modifier tokenIdExists(uint256 _tokenId) { + require(_exists(_tokenId), "Token does not exist"); + _; +} + +// 用于判断商品归属人 +modifier onlyTokenOwner(uint256 _tokenId) { + require( + msg.sender == ownerOf(_tokenId), + "Only the owner can perform this action" + ); + _; +} + +/* =================== Constructor =================== */ + + /* + @param _name 商品NFT名称 + @param _symbol 商品NFT符号 +*/ +constructor(string memory _name, string memory _symbol) ERC721(_name, _symbol) EIP712("Product", "1.0") { +} + + +/* =================== External Functions =================== */ + +/* + @title 购买商品 + @param _productId 商品编号 + @param _productPrice 商品价格 + @param _deadline 签名过期时间 + @param v, r, s 签名信息 +*/ +function buyProduct( + uint16 _productId, + uint256 _productPrice, + uint256 _deadline, + uint8 v, + bytes32 r, + bytes32 s +) external { + // 1、验证签名是否正确 + _validateSignature(_productId, _productPrice, _deadline, v, r, s); + + + // 2、验证商品是否已被购买 + require(Product[_productId].owner == address(0), "Product is already bought."); + + // 3、tokenId++ + currentTokenId++; + + // 4、mint商品（userAddr, tokenId） + _safeMint(msg.sender, currentTokenId); + + // 5、设置状态变量商品信息 Product + Product[_productId] = ProductInfo({ + price: _productPrice, + tokenId: currentTokenId, + owner: msg.sender, + transferCount: 0, + status: 0 + }); + + // 6、更新状态变量用户持有的商品 userProduct + userProduct[msg.sender].push(_productId); + + // 添加事件 + emit BuyProduct(msg.sender, _productId, _productPrice, currentTokenId); +} + + +/* =================== External Getter Functions =================== */ + +/* + @title 查看商品详情 + @param _productId 商品编号 +*/ +function getProductInfo(uint16 _productId) external view returns (ProductInfo memory) { + return Product[_productId]; +} + +/* + @title 查看用户持有的所有商品 + @param _owner 用户地址 +*/ +function getAllProductByOwner(address _owner) external view returns (ProductInfo[] memory) { + ProductInfo[] memory productList = new ProductInfo[](userProduct[_owner].length); + + for (uint256 i = 0; i < userProduct[_owner].length; i++) { + productList[i] = Product[userProduct[_owner][i]]; + } + + return productList; +} + +/* + * @dev 获取用户签名nonce + */ +function getNonces(address owner) external view returns (uint256) { + return _nonces[owner].current(); +} + +/* =================== Internal Getter Functions =================== */ + + +/* + @title 验证购买商品时管理员的签名是否正确 + @param _productId 商品编号 + @param _productPrice 商品价格 + @param _deadline 签名过期时间 + @param v, r, s 管理员签名信息 +*/ +function _validateSignature( + uint16 _productId, + uint256 _productPrice, + uint256 _deadline, + uint8 v, + bytes32 r, + bytes32 s +) internal returns (bool) { + require(block.timestamp <= _deadline, "Buy Product: expired deadline"); + bytes32 structHash = keccak256(abi.encode(BUYLAND_HASH, + owner(), + msg.sender, + _productId, + _productPrice, + _useNonce(owner()), + _deadline + )); + + bytes32 hash = _hashTypedDataV4(structHash); + + address signer = ECDSA.recover(hash, v, r, s); + + require(signer == owner(), "Invalid signature"); + return true; +} + +/* + * @dev 返回当前用户的签名计数，然后自增1，签名验证使用 + */ +function _useNonce(address owner) internal returns (uint256 current) { + Counters.Counter storage nonce = _nonces[owner]; + current = nonce.current(); + nonce.increment(); +} From 925a2df191c2f4d9818a5ad8063f3c8032d44c7d Mon Sep 17 00:00:00 2001 From: hogoqkl <148929545+hogoqkl@users.noreply.github.com> Date: Mon, 6 Nov 2023 19:13:41 +0800 Subject: [PATCH 3/4] Add files via upload --- task57.md | 508 +++++++++++++++++++++++++++--------------------------- 1 file changed, 255 insertions(+), 253 deletions(-) diff --git a/task57.md b/task57.md index a0a5b60b4..d9562e7f2 100644 --- a/task57.md +++ b/task57.md @@ -1,253 +1,255 @@ -在测试下面合约时会出现问题： -某个多参数合约方法： - -// SPDX-License-Identifier: MIT -pragma solidity ^0.6.0; -contract Test { -function methodWithLotsOfParameters( -uint256 param1, -uint256 param2, -uint256 param3, -uint256 param4, -uint256 param5, -uint256 param6, -uint256 param7, -uint256 param8, -uint256 param9, -uint256 param10, -uint256 param11, -uint256 param12, -uint256 param13, -uint256 param14, -uint256 param15, -uint256 param16, -uint256 param17, -uint256 param18, -uint256 param19, -uint256 param20 -) public pure returns (uint256) { -// Perform some operations with the parameters -return param1 + param2 + param3 + param4 + param5 + param6 + param7 + param8 + param9 + param10 + param11 + param12 + param13 + param14 + param15 + param16 + param17 + param18 + param19 + param20; -} -} - -填写参数后： -image - -返回的这个报错： - -image - -测试OpenZeppelin和WTF中的相关合约，使用合约IDE进行编译和部署的过程中未发现任何问题。合约IDE的编译版本为0.8.11。 - -针对测试，写了一个相关复杂合约（主合约代码如下），在编译、部署和调用过程中，未出现任何错误或异常情况，合约的功能和逻辑按预期工作，没有引发潜在的问题或漏洞。 -` -// SPDX-License-Identifier: MIT -pragma solidity ^0.8.7; - -import "Ownable.sol"; -import "Counters.sol"; -import "ECDSA.sol"; -import "EIP712.sol"; -import "SafeMath.sol"; -import "Strings.sol"; -import "ERC721.sol"; - -/* -@title 商品合约 -*/ -contract Product is ERC721, EIP712, Ownable { - -/// @title 商品信息 -struct ProductInfo { - uint256 price; // 当前价格 - uint256 tokenId; // 商品NFT对应的TokenId - address owner; // 商品所有者钱包地址 - uint16 transferCount; // 转让次数 - uint8 status; // 商品状态：0 未设置转让（不可购买） 1 设置转让了（可购买） -} - -/* =================== Events =================== */ - -/* - @title 事件 - 购买商品 - @param _sender 购买商品用户地址（商品持有者地址） - @param _productId 商品编号 - @param _price 商品价格 - @param _tokenId NFT token Id -*/ -event BuyProduct(address _sender, uint16 _productId, uint256 _price, uint256 _tokenId); - -using Strings for uint256; -using SafeMath for uint256; -using Counters for Counters.Counter; - -/* =================== Constants =================== */ - -//购买商品函数Hash -bytes32 public constant BUYLAND_HASH = keccak256("BuyProduct(address _admin,address _buyer,uint16 _productId,uint256 _productPrice,uint256 _nonce,uint256 _deadline)"); - -/* =================== State Variables =================== */ - -mapping(uint16 => ProductInfo) public Product; // 商品编号对应的商品信息 -mapping(address => uint16[]) public userProduct; // 用户持有的所有商品 -string public baseURI; -uint256 public currentTokenId; // 当前生成的最大tokenId -mapping(address => Counters.Counter) private _nonces; // 用户签名计数器 -mapping(address => bool) private admins; // 管理员（可信任组） - - /* =================== Modifier =================== */ - -// 用于判断是否是管理员 -modifier onlyAdmin(){ - require(msg.sender == owner(),"only by owner"); - _; - } - -// 用于判断TokenId是否存在 -modifier tokenIdExists(uint256 _tokenId) { - require(_exists(_tokenId), "Token does not exist"); - _; -} - -// 用于判断商品归属人 -modifier onlyTokenOwner(uint256 _tokenId) { - require( - msg.sender == ownerOf(_tokenId), - "Only the owner can perform this action" - ); - _; -} - -/* =================== Constructor =================== */ - - /* - @param _name 商品NFT名称 - @param _symbol 商品NFT符号 -*/ -constructor(string memory _name, string memory _symbol) ERC721(_name, _symbol) EIP712("Product", "1.0") { -} - - -/* =================== External Functions =================== */ - -/* - @title 购买商品 - @param _productId 商品编号 - @param _productPrice 商品价格 - @param _deadline 签名过期时间 - @param v, r, s 签名信息 -*/ -function buyProduct( - uint16 _productId, - uint256 _productPrice, - uint256 _deadline, - uint8 v, - bytes32 r, - bytes32 s -) external { - // 1、验证签名是否正确 - _validateSignature(_productId, _productPrice, _deadline, v, r, s); - - - // 2、验证商品是否已被购买 - require(Product[_productId].owner == address(0), "Product is already bought."); - - // 3、tokenId++ - currentTokenId++; - - // 4、mint商品（userAddr, tokenId） - _safeMint(msg.sender, currentTokenId); - - // 5、设置状态变量商品信息 Product - Product[_productId] = ProductInfo({ - price: _productPrice, - tokenId: currentTokenId, - owner: msg.sender, - transferCount: 0, - status: 0 - }); - - // 6、更新状态变量用户持有的商品 userProduct - userProduct[msg.sender].push(_productId); - - // 添加事件 - emit BuyProduct(msg.sender, _productId, _productPrice, currentTokenId); -} - - -/* =================== External Getter Functions =================== */ - -/* - @title 查看商品详情 - @param _productId 商品编号 -*/ -function getProductInfo(uint16 _productId) external view returns (ProductInfo memory) { - return Product[_productId]; -} - -/* - @title 查看用户持有的所有商品 - @param _owner 用户地址 -*/ -function getAllProductByOwner(address _owner) external view returns (ProductInfo[] memory) { - ProductInfo[] memory productList = new ProductInfo[](userProduct[_owner].length); - - for (uint256 i = 0; i < userProduct[_owner].length; i++) { - productList[i] = Product[userProduct[_owner][i]]; - } - - return productList; -} - -/* - * @dev 获取用户签名nonce - */ -function getNonces(address owner) external view returns (uint256) { - return _nonces[owner].current(); -} - -/* =================== Internal Getter Functions =================== */ - - -/* - @title 验证购买商品时管理员的签名是否正确 - @param _productId 商品编号 - @param _productPrice 商品价格 - @param _deadline 签名过期时间 - @param v, r, s 管理员签名信息 -*/ -function _validateSignature( - uint16 _productId, - uint256 _productPrice, - uint256 _deadline, - uint8 v, - bytes32 r, - bytes32 s -) internal returns (bool) { - require(block.timestamp <= _deadline, "Buy Product: expired deadline"); - bytes32 structHash = keccak256(abi.encode(BUYLAND_HASH, - owner(), - msg.sender, - _productId, - _productPrice, - _useNonce(owner()), - _deadline - )); - - bytes32 hash = _hashTypedDataV4(structHash); - - address signer = ECDSA.recover(hash, v, r, s); - - require(signer == owner(), "Invalid signature"); - return true; -} - -/* - * @dev 返回当前用户的签名计数，然后自增1，签名验证使用 - */ -function _useNonce(address owner) internal returns (uint256 current) { - Counters.Counter storage nonce = _nonces[owner]; - current = nonce.current(); - nonce.increment(); -} +在测试下面合约时会出现问题： +某个多参数合约方法： + +// SPDX-License-Identifier: MIT +pragma solidity ^0.6.0; +contract Test { + function methodWithLotsOfParameters( + uint256 param1, + uint256 param2, + uint256 param3, + uint256 param4, + uint256 param5, + uint256 param6, + uint256 param7, + uint256 param8, + uint256 param9, + uint256 param10, + uint256 param11, + uint256 param12, + uint256 param13, + uint256 param14, + uint256 param15, + uint256 param16, + uint256 param17, + uint256 param18, + uint256 param19, + uint256 param20 + ) public pure returns (uint256) { + // Perform some operations with the parameters + return param1 + param2 + param3 + param4 + param5 + param6 + param7 + param8 + param9 + param10 + param11 + param12 + param13 + param14 + param15 + param16 + param17 + param18 + param19 + param20; + } +} + +填写参数后： +![image](https://github.com/FISCO-BCOS/FISCO-BCOS/assets/148929545/7d29fe4d-db50-41aa-9bc0-2aff1f677e27) + +返回的这个报错： + +![image](https://github.com/FISCO-BCOS/FISCO-BCOS/assets/148929545/e9d04b8a-5de1-4d03-af56-6a5fa05fa8da) + + +测试OpenZeppelin和WTF中的相关合约，使用合约IDE进行编译和部署的过程中未发现任何问题。合约IDE的编译版本为0.8.11。 + +针对测试，写了一个相关复杂合约（主合约代码如下），在编译、部署和调用过程中，未出现任何错误或异常情况，合约的功能和逻辑按预期工作，没有引发潜在的问题或漏洞。 +` +// SPDX-License-Identifier: MIT +pragma solidity ^0.8.7; + +import "Ownable.sol"; +import "Counters.sol"; +import "ECDSA.sol"; +import "EIP712.sol"; +import "SafeMath.sol"; +import "Strings.sol"; +import "ERC721.sol"; + +/* + @title 商品合约 +*/ +contract Product is ERC721, EIP712, Ownable { + + /// @title 商品信息 + struct ProductInfo { + uint256 price; // 当前价格 + uint256 tokenId; // 商品NFT对应的TokenId + address owner; // 商品所有者钱包地址 + uint16 transferCount; // 转让次数 + uint8 status; // 商品状态：0 未设置转让（不可购买） 1 设置转让了（可购买） + } + + /* =================== Events =================== */ + + /* + @title 事件 - 购买商品 + @param _sender 购买商品用户地址（商品持有者地址） + @param _productId 商品编号 + @param _price 商品价格 + @param _tokenId NFT token Id + */ + event BuyProduct(address _sender, uint16 _productId, uint256 _price, uint256 _tokenId); + + using Strings for uint256; + using SafeMath for uint256; + using Counters for Counters.Counter; + + /* =================== Constants =================== */ + + //购买商品函数Hash + bytes32 public constant BUYLAND_HASH = keccak256("BuyProduct(address _admin,address _buyer,uint16 _productId,uint256 _productPrice,uint256 _nonce,uint256 _deadline)"); + + /* =================== State Variables =================== */ + + mapping(uint16 => ProductInfo) public Product; // 商品编号对应的商品信息 + mapping(address => uint16[]) public userProduct; // 用户持有的所有商品 + string public baseURI; + uint256 public currentTokenId; // 当前生成的最大tokenId + mapping(address => Counters.Counter) private _nonces; // 用户签名计数器 + mapping(address => bool) private admins; // 管理员（可信任组） + + /* =================== Modifier =================== */ + + // 用于判断是否是管理员 + modifier onlyAdmin(){ + require(msg.sender == owner(),"only by owner"); + _; + } + + // 用于判断TokenId是否存在 + modifier tokenIdExists(uint256 _tokenId) { + require(_exists(_tokenId), "Token does not exist"); + _; + } + + // 用于判断商品归属人 + modifier onlyTokenOwner(uint256 _tokenId) { + require( + msg.sender == ownerOf(_tokenId), + "Only the owner can perform this action" + ); + _; + } + + /* =================== Constructor =================== */ + + /* + @param _name 商品NFT名称 + @param _symbol 商品NFT符号 + */ + constructor(string memory _name, string memory _symbol) ERC721(_name, _symbol) EIP712("Product", "1.0") { + } + + + /* =================== External Functions =================== */ + + /* + @title 购买商品 + @param _productId 商品编号 + @param _productPrice 商品价格 + @param _deadline 签名过期时间 + @param v, r, s 签名信息 + */ + function buyProduct( + uint16 _productId, + uint256 _productPrice, + uint256 _deadline, + uint8 v, + bytes32 r, + bytes32 s + ) external { + // 1、验证签名是否正确 + _validateSignature(_productId, _productPrice, _deadline, v, r, s); + + + // 2、验证商品是否已被购买 + require(Product[_productId].owner == address(0), "Product is already bought."); + + // 3、tokenId++ + currentTokenId++; + + // 4、mint商品（userAddr, tokenId） + _safeMint(msg.sender, currentTokenId); + + // 5、设置状态变量商品信息 Product + Product[_productId] = ProductInfo({ + price: _productPrice, + tokenId: currentTokenId, + owner: msg.sender, + transferCount: 0, + status: 0 + }); + + // 6、更新状态变量用户持有的商品 userProduct + userProduct[msg.sender].push(_productId); + + // 添加事件 + emit BuyProduct(msg.sender, _productId, _productPrice, currentTokenId); + } + + + /* =================== External Getter Functions =================== */ + + /* + @title 查看商品详情 + @param _productId 商品编号 + */ + function getProductInfo(uint16 _productId) external view returns (ProductInfo memory) { + return Product[_productId]; + } + + /* + @title 查看用户持有的所有商品 + @param _owner 用户地址 + */ + function getAllProductByOwner(address _owner) external view returns (ProductInfo[] memory) { + ProductInfo[] memory productList = new ProductInfo[](userProduct[_owner].length); + + for (uint256 i = 0; i < userProduct[_owner].length; i++) { + productList[i] = Product[userProduct[_owner][i]]; + } + + return productList; + } + + /* + * @dev 获取用户签名nonce + */ + function getNonces(address owner) external view returns (uint256) { + return _nonces[owner].current(); + } + + /* =================== Internal Getter Functions =================== */ + + + /* + @title 验证购买商品时管理员的签名是否正确 + @param _productId 商品编号 + @param _productPrice 商品价格 + @param _deadline 签名过期时间 + @param v, r, s 管理员签名信息 + */ + function _validateSignature( + uint16 _productId, + uint256 _productPrice, + uint256 _deadline, + uint8 v, + bytes32 r, + bytes32 s + ) internal returns (bool) { + require(block.timestamp <= _deadline, "Buy Product: expired deadline"); + bytes32 structHash = keccak256(abi.encode(BUYLAND_HASH, + owner(), + msg.sender, + _productId, + _productPrice, + _useNonce(owner()), + _deadline + )); + + bytes32 hash = _hashTypedDataV4(structHash); + + address signer = ECDSA.recover(hash, v, r, s); + + require(signer == owner(), "Invalid signature"); + return true; + } + + /* + * @dev 返回当前用户的签名计数，然后自增1，签名验证使用 + */ + function _useNonce(address owner) internal returns (uint256 current) { + Counters.Counter storage nonce = _nonces[owner]; + current = nonce.current(); + nonce.increment(); + } +}` \ No newline at end of file From 8c44826e287315d212a3896784ade3e4f85b2786 Mon Sep 17 00:00:00 2001 From: hogoqkl <148929545+hogoqkl@users.noreply.github.com> Date: Mon, 6 Nov 2023 19:14:12 +0800 Subject: [PATCH 4/4] Update task57.md --- task57.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/task57.md b/task57.md index d9562e7f2..35ec6bc4c 100644 --- a/task57.md +++ b/task57.md @@ -1,6 +1,6 @@ 在测试下面合约时会出现问题： 某个多参数合约方法： - +``` // SPDX-License-Identifier: MIT pragma solidity ^0.6.0; contract Test { @@ -30,6 +30,7 @@ contract Test { return param1 + param2 + param3 + param4 + param5 + param6 + param7 + param8 + param9 + param10 + param11 + param12 + param13 + param14 + param15 + param16 + param17 + param18 + param19 + param20; } } +``` 填写参数后： ![image](https://github.com/FISCO-BCOS/FISCO-BCOS/assets/148929545/7d29fe4d-db50-41aa-9bc0-2aff1f677e27) @@ -252,4 +253,4 @@ contract Product is ERC721, EIP712, Ownable { current = nonce.current(); nonce.increment(); } -}` \ No newline at end of file +}`