Mimblewimble-Grin Blockchain Protocol Overview

• Introduction
• Mimblewimble Protocol Overview
  • Commitments
  • Cut-through and Pruning
    • Cut-through
    • Pruning
  • Grin Blocks
• Trustless Transactions
• Contracts
  • Time-locked
    • Absolute
    • Relative
  • Multisig
• Atomic Swaps
• References
• Appendices
  • Appendix A: Example of Grin Block
• Contributors

Introduction

Depending on whom you ask, Mimblewimble is either a tongue-tying curse or a blockchain protocol designed to be private and scalable. The transactions in Mimblewimble are derived from confidential transactions by Greg Maxwell [1], which in turn are based on the Pedersen commitment scheme. On 19 July 2016, Tom Elvis Jedusor left a white paper on the tor network describing how Mimblewimble could work. As the potential for this was realized, work was done to make this a reality. One of these projects is Grin, which is a minimalistic implementation of Mimblewimble. Further information can be found in [2] and [3].

Mimblewimble Protocol Overview

Commitments

Mimblewimble publishes all transactions as confidential transactions. All inputs, outputs and change are expressed in the following form:

​ r⋅G+v⋅H

where G and H are elliptic curves, r a private key used as a blinding factor, v the value and "⋅" is Elliptic-curve cryptography (ECC) multiplication.

An example transaction can be expressed as input = output + change.

​ (ri⋅G+vi⋅H)=(ro⋅G+vo⋅H)+(rc⋅G+vc+⋅H)

But this requires that

​ ri=ro+rc

A more detailed explanation of how Mimblewimble works can be found in the Grin GitHub documents [4].

Cut-through and Pruning

Cut-through

Grin includes something called "cut-through" in the transaction pool. Cut-through removes outputs from the transaction pool, which have already been spent as new inputs, using the fact that every transaction in a block should sum to zero. This is shown below:

​ output−inputs=kernel−excess+(partof)kernel−offset

The kernel offset is used to hide which kernel belongs to which transaction and we only have a summed kernel offset stored in the header of each block.

We don't have to record these transactions inside the block, although we still have to record the kernel as the kernel proof transfer of ownership to make sure that the whole block sums to zero, as expressed in the following formula:

​ sum(ouputs)−sum(inputs)=sum(kernel−excess)+kernel−offset

An example of cut-through follows:

 I1(x1)    +---> O1
           +---> O2

 I2(x2,O2) +---> O3

 I3(O3)    +---> O4
           +---> O5

After cut-through:

 I1(x1)    +---> O1
 I2(x2)    +---> O4
           +---> O5

In the preceding examples, "I" represents new inputs, "X" represents inputs from previous blocks and "O" represents outputs.

This causes Mimblewimble blocks to be much smaller than normal bitcoin blocks, as the cut-through transactions are no longer listed under inputs and outputs. In practice, after this we can still see there was a transaction, because the kernel excess still remains, but the actual hidden values are not recorded.

Pruning

Pruning takes this same concept but goes into past blocks. Therefore, if an output in a previous block gets spent, it will be removed from that block. Pruning removes the leaves from the Merkle Mountain Range (MMR) as well. Thus, it allows the ledger to be small and scalable. According to the Grin team [3], assuming 10 million transactions with 100,000  unspent outputs, the ledger will be roughly 130GB, which can be divided into the following parts:

• 128GB transaction data (inputs and outputs);
• 1GB transaction proof data;
• 250MB block headers.

The total storage requirements can be reduced if cut-through and pruning are applied. The ledger will shrink to approximately 1.8GB and will result in the following:

• 1GB transaction proof data;
• UTXO size 520MB;
• 250MB block headers.

Grin Blocks

The grin block contains the following data:

1. Transaction outputs, which include for each output:
   • A Pedersen commitment (33 bytes).
   • A range proof (over 5KB at this time).
2. Transaction inputs, which are just output references (32 bytes).
3. Transaction fees, in clear text.
4. Transaction "proofs", which include for each transaction:
   • The excess commitment sum for the transaction (33 bytes).
   • A signature generated with the excess (71 bytes average).
5. A block header that includes Merkle trees and proof of work (approximately 250 bytes).

The Grin header:

The rest of the block contains a list of kernels, inputs and outputs. Appendix A contains an example of a grin block.

Trustless Transactions

Schnorr signatures have been done in Tari Labs University (TLU). Please look here for a more detailed explanation [7].

Since Grin transactions are obscured by Pedersen Commitments, there is no proof that money was actually transferred. To solve this problem, we require the receiver to collaborate with the sender in building a transaction and, more specifically, the kernel signature [4].

When Alice wants to pay Bob, the transaction will be performed using the following steps:

1. Alice selects her inputs and her change. The sum of all blinding factors (change output minus inputs) is rs.
2. Alice picks a random nonce ks and sends her partial transaction, ks⋅G and rs⋅G to Bob.
3. Bob picks his own random nonce kr and the blinding factor for his output rr. Using rr, Bob adds his output to the transaction.
4. Bob computes the following:
   • message m=fee‖lock−height;
   • Schnorr challenge e=SHA256(m‖kr⋅G+ks⋅G‖rr⋅G+rs⋅G); and
   • his side of the signature, sr=kr+e⋅G.
5. Bob sends sr and kr⋅G and rr⋅G to Alice.
6. Alice computes e, just like Bob did, and can check that sr⋅G=kr⋅G+e⋅rr⋅G.
7. Alice sends her side of the signature, ss=ks+e⋅rs, to Bob.
8. Bob validates ss⋅G, just like Alice did for sr⋅G in step 5, and can produce the final signature sig=(ss+sr,ks⋅G+ks⋅G) as well as the final transaction kernel, including sig and the public key rr⋅G+rs⋅G.

Contracts

Time-locked

Absolute

In a normal Grin transaction, the signature [4], just the normal fee, gets signed as the message. But to get an absolute time-locked transaction, the message can be modified taking the block height and appending the fee to that. A block with a kernel that includes a lock height greater than the current block height is then rejected.

​ m=fee‖h

Relative

Taking into account how an absolute time-locked transaction is constructed, the same idea can be extended by taking the relative block height and not the absolute height, but also adding a specific kernel commitment. In this way, the signature references a specific block as height. The same principle counts as with absolute time-locked transactions in that a block with a kernel containing a relative time-locked transaction that has not passed, is rejected.

​ m=fee‖h‖c

Multisig

Multi-signatures (multisigs) are also known as N-of-M signatures. This means that N amount out of M amount of peers need to agree before a transaction can be spent.

When Bob and Alice [6] want to do a 2‑of‑2 multisig contract, the contract can be done using the following steps:

1. Bob picks a blinding factor rb and sends rb⋅G to Alice.
2. Alice picks a blinding factor ra and builds the commitment C=ra⋅G+rb⋅G+v⋅H; she sends the commitment to Bob.
3. Bob creates a range proof for v using C and rb, and sends it to Alice.
4. Alice generates her own range proof and aggregates it with Bob, finalizing the multiparty output Oab.
5. The kernel is built following the same procedure as used with Trustless Transactions.

We observe that the output Oab is unknown to both parties, because neither knows the whole blinding factor. To be able to build a transaction spending Oab, someone would need to know ra+rb to produce a kernel signature. To produce the original spending kernel, Alice and Bob need to collaborate.

Atomic Swaps

Atomic swaps can be used to exchange coins from different blockchains in a trustless environment. In the Grin documentation, this is handled in the contracts documentation [6] and in the contract ideas documentation [8]. In practice, there has already been an atomic swap between Grin and Ethereum [9], but this only used the Grin testnet with a modified Grin implementation, as the release version of Grin did not yet support the required contracts. TLU has a section about Atomic Swaps [7].

Atomic swaps work with 2‑of‑2 multisig contracts, one public key being Alice's, the other being the hash of a preimage that Bob has to reveal. Consider public key derivation x⋅G to be the hash function and by Bob revealing x, Alice can then produce an adequate signature, proving she knows x (in addition to her own private key).

Alice will swap Grin with Bob for Bitcoin. We assume Bob created an output on the Bitcoin blockchain that allows spending by Alice if she learns a hash preimage x, or by Bob after time Tb. Alice is ready to send her Grin to Bob if he reveals x.

Alice will send her Grin to a multiparty timelock contract with a refund time Ta<Tb. To send the 2‑of‑2 output to Bob and execute the swap, Alice and Bob start as if they were building a normal trustless transaction:

1. Alice picks a random nonce ks and her blinding sum rs and sends ks⋅G and rs⋅G to Bob.
2. Bob picks a random blinding factor rr and a random nonce kr. However, this time, instead of simply sending sr=kr+e⋅rr with his rr⋅G and kr⋅G, Bob sends s′r=kr+x+e⋅rr as well as x⋅G.
3. Alice can validate that s′r⋅G=kr⋅G+x⋅G+rr⋅G. She can also check that Bob has money locked with x⋅G on the other chain.
4. Alice sends back her ss=ks+e⋅xs as she normally would, now that she can also compute e=SHA256(m‖ks⋅G+kr⋅G).
5. To complete the signature, Bob computes sr=kr+e⋅rr and the final signature is (sr+ss,kr⋅G+ks⋅G).
6. As soon as Bob broadcasts the final transaction to get his Grin, Alice can compute s′r−sr to get x.

Prior to completing the atomic swap, Bob needs to know Alice's public key. Bob would then create an output on the Bitcoin blockchain with a 2‑of‑2 multisig similar to alice_pubkey secret_pubkey 2 OP_CHECKMULTISIG. This should be wrapped in an OP_IF so Bob can get his money back after an agreed-upon time. All of this can even be wrapped in a Pays To Script Hash (P2SH). Here, secret_pubkey is x⋅G from the previous section.

To verify the output, Alice would take x⋅G, recreate the bitcoin script, hash it and check that her hash matches what's in theP2SH (step 2 in the Multisig section). Once she gets x (step 6), she can build the two signatures necessary to spend the 2‑of‑2, having both private keys, and get her bitcoin.

References

[1] G. Maxwell, "Confidential Transactions", 2017 [online]. Available: https://people.xiph.org/~greg/confidential_values.txt. Accessed: 2018‑10‑24.

[2] P. Robinson, H. Odendaal, S. W. van Heerden and A. Zaidelson, "Grin vs. BEAM, a Comparison", 2018 [online]. Available: https://tari&#8209;labs.github.io/tari-university/protocols/grin-beam-comparison/MainReport.html#grin-vs-beam-a-comparison. Accessed: 2018‑10‑08.

[3] Y. Roodt, H. Odendaal, S. W. van Heerden, R. Robinson and A. Kamal, "Grin Design Choice Criticisms - Truth or Fiction", 2018 [online]. Available: https://tari-labs.github.io/tari-university/protocols/grin-design-choice-criticisms/MainReport.html. Accessed: 2018‑10‑08.

[4] B. Simon et al., "Grin Document Structure", 2018 [online]. Available: https://github.com/mimblewimble/grin/blob/master/doc/table_of_contents.md. Accessed: 2018‑10‑24).

[5] I. Peverell et al., "Pruning Blockchain Data", 2016 [online]. Available: https://github.com/mimblewimble/grin/blob/master/doc/pruning.md. Accessed: 2018‑10‑26.

[6] I. Peverell et al., "Contracts", 2018 [online]. Available: https://github.com/mimblewimble/grin/blob/master/doc/contracts.md. Accessed: 2018‑10‑26.

[7] "Tari Labs University". Tari Labs, 2018 [online]. Available: https://tari-labs.github.io/tari-university/. Accessed: 2018‑10‑27.

[8] Q. Le Sceller, "Contract Ideas", 2018 [online]. Available: https://github.com/mimblewimble/grin/blob/master/doc/contract_ideas.md. (Accessed: 2018‑10‑27.)

[9] Jasper, "First Grin Atomic Swap!" (2018) [online]. Available: https://medium.com/grinswap/first-grin-atomic-swap-a16b4cc19196. Accessed: 2018‑10‑27.

Appendices

Appendix A: Example of Grin Block

4 x Inputs

5 x Outputs

3 x Kernels

Apart from the header information, we can only see that this block contains two transactions from the two kernels present. Between these two transactions, we only know that there were four inputs and four outputs. Because of the way in which Mimblewimble obfuscates the transaction, we don't know the values or which input and output belong to which transaction.

Contributors

• https://github.com/SWvheerden
• https://github.com/neonknight64
• https://github.com/hansieodendaal
• https://github.com/anselld