Since it is the financial contract, is it available to do content changing of the original contract when needed? and any method for verification?
Hello, Thank you for your question.
In the proposed model, the seller(beneficiary) provides auction time, initial proposed price, lowest proposed price, deduction amount, and deduction time when deploying smart contracts.
And buyers(bidders) who want to participate in the auction can only check the current price.
Therefore, you should check the current price periodically.
In my opinion, in Dutch auctions, it is important to be able to win the auction by bidding the most if the price you want to buy, so I thought that there was no need to inform the internal contents of the contract.
And there is a way to change the contents of the original contract.
However, as the questioner said, the financial contract is considered a critical system (contract).
Modeling was carried out because it was thought that it was important to distribute it after proving that it is a perfect contract(not errors and contradictions) before distribution through formal modeling, rather than changing the contents of the original contract.
Thank you.
