/// Gathers commitments and sum them.
public static Commitment sum_commitments(this ICommitted committed, Secp256K1 secp)
{
// first, verify each range proof
foreach (var output in committed.outputs_committed())
{
output.Verify_proof(secp);
}
// then gather the commitments
var inputCommits = new List <Commitment>();
foreach (var input in committed.inputs_commited())
{
inputCommits.Add(input.Commitment);
}
var outputCommits = new List <Commitment>();
foreach (var output in committed.outputs_committed())
{
outputCommits.Add(output.Commit);
}
// add the overage as output commitment if positive, as an input commitment if
// negative
if (committed.Overage() != 0)
{
var overCommit = secp.commit_value((ulong)Math.Abs(committed.Overage()));
if (committed.Overage() < 0)
{
inputCommits.Add(overCommit);
}
else
{
outputCommits.Add(overCommit);
}
}
// sum all that stuff
return(secp.commit_sum(outputCommits.ToArray(), inputCommits.ToArray()));
}
