How to do Proof of Micro-Burn?



Summary:

In a conversation between Ruben and ZmnSCPxj, they discuss the concept of commitment in cryptography. ZmnSCPxj notes that the formula presented by Ruben does not qualify as a commitment since it can be easily opened to an uncommitted value. He suggests using Pedersen commitments instead. When Ruben points out that only someone who knows `k` can open the commitment, ZmnSCPxj explains that this means the knower of `k` is a trusted party. ZmnSCPxj goes on to explain the merkle sum tree property, which is missing from Ruben's proposal, making "double spending" a burn possible. Ruben asks for clarification on this, as he is not a mathematician. They also discuss the atomicity issue, where the risk is moved to the seller side as the buyer could refuse to finalize the purchase after the on-chain commitment was made by the seller. ZmnSCPxj notes that the lack of an opening means the buyer cannot prove the commitment and thus has an incentive to actually pay for it.


Updated on: 2023-06-15T22:57:58.226950+00:00