0154 - Withdrawn - Standards - April 12, 2017 (9 years, 3 months ago)
12
2017
BIP: 154
Layer: Peer Services
Title: Rate Limiting via peer specified challenges
Author: Karl-Johan Alm <[email protected]>
Comments-Summary: No comments yet.
Comments-URI: https://github.com/bitcoin/bips/wiki/Comments:BIP 154
Status: Withdrawn
Type: Standards Track
Created: 2017-04-12
License: BSD-2-Clause
An anti-DoS system which provides additional service for peers which perform proof of work.
The Bitcoin network has a maximum number of inbound and outbound connections (125). It is trivial and relatively cheap to flood the network with connections via dummy nodes. Such an attack would result in (1) nodes evicting some other nodes in order to facilitate the new connection, and (2) nodes' ability to connect to each other being severely hampered. In this state, the network is vulnerable to e.g. a Sybil attack.
While the network is under pressure as in the above case, nodes could allow incoming connections anyway by requiring that the incoming peer performs some form of proof of work, to prove that they are not simply spamming the network. This would severely ramp up the costs of a Sybil attack, as the attacker would now have to perform proof of work for each node, beyond the free slots.
However, using the "standard" double-SHA256 POW algorithm in use by Bitcoin nodes to generate blocks means attackers can use special-purpose hardware to greatly accelerate the POW solving process. To counter this, the proof weight would have to be raised, but this would mean standard nodes would need to solve unacceptably costly challenges for simple operation. Therefore, a different proof of work which is arguably less sensitive to special-purpose hardware implementations is introduced. As this is not consensus sensitive, additional POW algorithms may be added in the future.
A peer that supports Proof of Work Rate Limiting defines two maximums:
nMaxConnections - (nMaxOutbound + nMaxFeeler)
The peer must interpret two new network peer message types,
challenge
and
solution
.
In addition, the network handshake sequence must be altered slightly to facilitate the exchange of challenges and/or solutions:
solution
message
prior to the
version
challenge
is sent and the connection is closed
challenge
is sent and the connection is closed
This means nodes will be disconnected after receiving the challenge. It is then up to the individual nodes whether they solve the challenge and reconnect, or discard it and find a different peer (or wait for the peer to have an open free slot).
There are two POW identifiers currently. When a new identifier is
introduced, it should be added with an increment of 1 to the last
identifier in the list. When an identifier is deprecated, its status
should be changed to
Deprecated
but it should retain its
place in the list indefinitely.
| ID | Algorithm Name | Work | Param size | Solution size | Provably Secure | SPH Resistance | Status |
|---|---|---|---|---|---|---|---|
|
1 |
sha256 |
11k cycles |
11+ bytes |
0, 4 or 8 bytes |
Yes |
Low |
Active |
|
2 |
cuckoo-cycle |
ss 28: 150G cycles / ~48M RAM |
6+ bytes |
168 bytes |
No |
High |
Active |
Properties:
| Property | Value |
|---|---|
|
Solution probability |
|
Challenge format:
| Range | Field Name | Data Type | Description |
|---|---|---|---|
|
0 |
config_length |
varint |
Length of configuration part; always 9 |
|
1..4 |
target |
uint32 |
Difficulty target, in the form of a compact size (like nBits in blocks). |
|
5 |
nonce_size |
uint8 |
Size of nonce in bytes; must be 0 (no nonce), 4 (uint32) or 8 (uint64) |
|
6..9 |
nonce_offset |
uint32 |
Location of nonce value in target |
|
10.. |
payload_length |
varint |
Length of the input data |
|
.. |
payload |
byte array |
Input data |
Solution format:
| Range | Field Name | Data Type | Description |
|---|---|---|---|
|
0.. |
nonce |
uint32/64, or data |
Nonce value that satisfies challenge; for zero-byte nonces, this is variable data that is appended to the challenge payload before hashing |
Note: SHA256 works in two "modes".
Additional notes:
Properties:
| Property | Value |
|---|---|
|
Solution probability |
|
Challenge format:
| Range | Field Name | Data Type | Description |
|---|---|---|---|
|
0 |
config_length |
varint |
Length of configuration part; always 5 |
|
1 |
sizeshift |
uint8 |
Size shift; must be equal to 28, but may be variable in the future |
|
2..3 |
proofsize-min |
uint16 |
Minimum number of edges in cycle; must be even and greater than or equal to 12 (recommended: 12) |
|
4..5 |
proofsize-max |
uint16 |
Maximum number of edges in cycle; must be even, greater than or equal to proofsize-min, and smaller than or equal to 254 (recommended: 228) |
|
6 |
payload_length |
varint |
Length of the input data; must be 76, but may be variable in the future |
|
7.. |
payload |
byte array |
Input data |
Solution format:
| Range | Field Name | Data Type | Description |
|---|---|---|---|
|
0..3 |
nonce |
uint32 |
Nonce which is appended to challenge payload to form solution graph |
|
4..171 |
edges |
uint32 array |
42 values which identify each of the 42 edges in the cycle |
Additional notes:
There is only one Purpose Identifier currently. In the future, more
Purpose Identifiers could be added for at-DoS-risk operations, such as
bloom filters. When a new identifier is introduced, it should be added
with an increment of 1 to the last identifier in the list. When an
identifier is deprecated, its status should be changed to
Deprecated
but it should retain its place in the list
indefinitely.
| ID | Purpose Name | Description | Status |
|---|---|---|---|
|
1 |
connect |
Establish peer to peer connection |
Active |
Challenges consist of one or several chained POW identifiers with accompanying parameters, as well as indicators for the purpose of the challenge, and a signature that lets the node verify the challenge authenticity.
After creating a challenge, the node signs it, delivers it to the peer, then discards it. When a node provides a solution to a challenge, the node verifies the signature and adds the challenge hash to a list of solved challenges along with its expiration time. This list is pruned on each insertion, removing any expired challenges.
If nodes needed to keep track of unsolved challenges, an attacker could hypothetically swarm a node, causing a DoS by having it generate so many challenges that it runs out of memory and crashes. By signing and discarding challenges, a node only has to retain challenges that were solved, and which have not yet expired, effectively DoS- protecting the node via the challenges themselves.
challenge
message
type
A challenge consists of four parts: the POW specification, a purpose identifier, an expiration date, and a signature. The POW specification contains a list of tuples containing a POW identifier and corresponding POW parameters.
SHA256(SHA256(pow-count || pow-id || pow-params || ... || purpose-id || expiration))
,
i.e. the hash of the entire challenge except for the signature length
and data.
| Field Size | Description | Data type | Description |
|---|---|---|---|
|
1 byte |
pow-count |
uint8 |
Number of POW algorithms in the range [1..255] |
|
4 bytes |
pow-id |
uint32 |
The POW algorithm to solve the problem with |
|
? |
pow-params |
? |
The POW parameters and payload |
|
... |
... |
... |
pow-id and pow-params for algorithms 2 and beyond |
|
4 bytes |
purpose-id |
uint32 |
The purpose of the challenge |
|
8 bytes |
expiration |
int64 |
Expiration UNIX timestamp |
|
? |
sign-len |
varint |
The length of the signature |
|
? |
sign |
byte array |
The signature data |
For POW specifications with a pow-count > 1, the output of the succeeding POW algorithm will be appended to the input of the predecessor for all POW algorithms except the last one. Normally mid-layer (all but the last) POW algorithms have a zero-length input. Example implementing sha256(cuckoo-cycle):
| Range | Field Name | Value | Comment |
|---|---|---|---|
|
0 |
pow-count |
2 |
Two POW algorithms |
|
1..4 |
pow-id |
1 |
sha256 |
|
5 |
pow-params (config_length) |
9 |
|
|
6..9 |
pow-params (target) |
0x207fffff |
Resulting hash must be <= the compact hash 0x207fffff* |
|
10 |
pow-params (nonce_size) |
0 |
No nonce |
|
11..14 |
pow-params (nonce_offset) |
0 |
-- |
|
15..18 |
pow-params (payload_length) |
0 |
0 byte input (turns into 32 byte input from successor) |
|
19..22 |
pow-id |
2 |
cuckoo-cycle |
|
23 |
pow-params (config_length) |
8 |
|
|
24 |
pow-params (sizeshift) |
28 |
|
|
25..26 |
pow-params (proofsize-min) |
12 |
|
|
27..28 |
pow-params (proofsize-max) |
228 |
|
|
29 |
pow-params (payload_length) |
76 |
76 byte input |
|
30..105 |
pow-params |
(random data) |
A randomized challenge of 76 bytes |
|
106..109 |
purpose-id |
1 |
Purpose is a peer-to-peer connection |
|
110..117 |
expiration |
1491285696 |
Expiration is April 4 2017, 15:01:36 (JST) |
|
118 |
sign-len |
71 |
71 byte signature |
|
119..189 |
sign |
(signature) |
Signature of above challenge |
(* Compact 0x207fffff = 0x7fffff0000000000000000000000000000000000000000000000000000000000.)
The above should be interpreted as SHA256(cuckoo-cycle(random data || nonce)) < 0x7fffff0000000000000000000000000000000000000000000000000000000000.
solution
message
type
A solution consists of two parts: the entire challenge, and solution parameters:
| Field Size | Description | Data type | Description |
|---|---|---|---|
|
1 byte |
pow-count |
uint8 |
Number of POW algorithms in the range [1..255] |
|
4 bytes |
pow-id |
uint32 |
The POW algorithm used to solve the problem |
|
? |
pow-params |
? |
The input to the POW solver for the above algorithm |
|
... |
... |
... |
pow-id and pow-params for algorithms 2 and beyond |
|
4 bytes |
purpose-id |
uint32 |
The purpose of the challenge |
|
8 bytes |
expiration |
int64 |
Expiration UNIX timestamp |
|
? |
sign-len |
varint |
The length of the signature |
|
? |
sign |
byte array |
The signature data |
|
? |
solution |
? |
The solution to the challenge |
Note that the solution contains the parameters for the last algorithm only. For each algorithm except the last one, the input is derived from the output of the successor. Example solution:
| Range | Name | Value | Description |
|---|---|---|---|
|
0 |
length |
4 |
The input to the innermost POW is 4 bytes in length |
|
1..4 |
nonce32 |
0x12345 |
The nonce used as input is 0x12345 |
The above example will provide a single nonce for the inner POW. For the SHA256(SHA256(challenge data || nonce32)) case, the solution would claim that SHA256(SHA256(challenge data || 0x00012345)) solves the challenge.
Below is a suggestion for how to sign a challenge. The implementation generates a new, random key-pair at launch and uses that to sign all challenges until the node is shutdown.
key
and
pubkey
and keep these around until shutdown
key
created above
sighash
of the challenge in
serialized form up until and including the expiration bytes
sign
of
sighash
using
key
varint(len(sign))
and
sign
to
challenge
pubkey
and declare failure if not defined (that
means we never issued a challenge)
sighash
of the challenge
provided with the solution up until and including the expiration
bytes
sighash
is not known, and add it to known hashes
along with its expiration date for pruning purposes
sign
to the signature included in the
challenge
sign
using
pubkey
and
sighash
Note that a list of known hashes should be kept and pruned of expired challenges on verification. Otherwise nodes may reuse the same solution repeatedly up until its expiration.
Nodes need to be able to make a judgement call on whether solving a given challenge is worth their efforts. If a challenge is expected to take so much time that it would expire before being solved (on average), it should be immediately discarded. Beyond this, a threshold should be established for nodes based on their "value" to the node, which is inversely proportional to the current number of connections as a function of uptime, with arbitrary modifiers (a whitelisted node or a node added via -addnode has a much higher threshold).
It is hard to obtain an accurate value for
cycles_per_second
, and as such a fixed value of
1700000000=1.7e9 may be used.
Given a threshold
t
, calculate the estimated work
required to solve the challenge as follows:
p(alg)
as the probability that an attempt at
finding a solution given the algorithm
alg
succeeds
w(alg)
as the work parameter of the algorithm
alg
.
Wc ← 0, Wm ← 1, Wi ← 1
pow
in the POW specification:
p ← p(pow)
,
w ← w(pow)
Wc ← Wc + w_cycles
,
Wi ← Wi * 1/p
,
Wm ← Wm + w_ram
eta ← (Wc * Wi) / cycles_per_second
date() + eta >= expiration
, discard
challenge
eta > t
, discard challenge
Example:
SHA256(cuckoo-cycle(...)) < 0x7fffff0000000000000000000000000000000000000000000000000000000000
p(cuckoo-cycle) = 1
,
p(sha256, 0x7fffff000...) ~= (1/2)^1 = 1/2
w(cuckoo-cycle) = (1.5e11 cycles, 5e7 ram)
,
w(sha256, 0x7fffff000...) = (11e3 cycles)
Wc = 0, Wm = 1, Wi = 1
p = p(cuckoo-cycle) = 1, w = w(cuckoo-cycle) = (1.5e11 cycles, 5e7 ram)
Wc = 0 + 1.5e11 = 1.5e11
,
Wi = 1 * 1 = 1
,
Wm = 1 + 5e7 = 5e7
p = p(sha256) = 1/2, w = w(sha256) = (11e3 cycles)
Wc = 1.5e11 + 11e3 ~= 1.5e11, Wi = 1 * 2 = 2, Wm = 5e7 + 0 = 5e7
eta = (1.5e11 * 2) / cycles_per_second
=
7.5e10 / 1.7e9
= 44.1 seconds
TODO: Determine how memory impacts threshold.
To avoid other nodes dropping our challenges due to early expiration, we use a fairly generous expiration based on the pressure value
expiration = date() + 600 * (1 + pressure)
which means the expiration is 10 minutes for the weakest challenge, and gradually rises to 20 minutes for the hardest one.
The difficulty setting for the network should change based on connection slot availability. The amount of pressure on the network in the sense of connection slot availability is proportional to the number of established connections over the number of total available connections. This can be locally approximated by a node to the number of local connections compared to the local connection maximum.
In other words, the network pressure can be approximated by any node
as
connections / max
and the difficulty can be based on
e.g.
(connections - free) / pow_slots
.
The challenge difficulty parameters can be set based on this, where
0.0 means "low pressure" and 1.0 means "maximum pressure". The
GetPressure
method below gives 0.0 at 67 connections (for a
50 POW slot set up), and hits the 1.0 mark at
(nMaxConnections - nMaxOutbound - nMaxFeeler)
, incrementing
by 0.02 for each new connection:
int nMaxInbound = nMaxConnections - (nMaxOutbound + nMaxFeeler + nPOWConnectionSlots);
return ((double)GetNodeCount(CONNECTIONS_ALL) - nMaxInbound) / nPOWConnectionSlots;
An example of difficulty for a SHA256(Cuckoo-Cycle) specification would be based on a desired probability of a random SHA256 digest matching a given target:
prob_target = 1 / (1 + pressure^2 * 15)
This would result in probability targets according to the table below, for varying pressures (where the pressure is in the range [0..1]):
| pressure | prob_target | solution time sha256(cc) |
|---|---|---|
|
0.0 |
1.00 |
00:45 |
|
0.1 |
0.87 |
00:51 |
|
0.2 |
0.63 |
01:11 |
|
0.3 |
0.43 |
01:45 |
|
0.4 |
0.29 |
02:32 |
|
0.5 |
0.21 |
03:32 |
|
0.6 |
0.16 |
04:46 |
|
0.7 |
0.12 |
06:13 |
|
0.8 |
0.09 |
07:54 |
|
0.9 |
0.08 |
09:48 |
|
1.0 |
0.06 |
11:55 |
Cuckoo Cycle[1] is a "graph-theoretic proof-of-work system, based on finding small cycles or other structures in large random graphs."
It is memory hard, which greatly increases the complexity and cost of producing dedicated (special purpose) hardware, an ideal property for an anti-DoS system.
The implementation specifics of the algorithm are beyond the scope of this BIP, but the github repository[2] has several reference implementations in various languages.
This proposal is backward compatible. Non-supporting peers will
ignore the
challenge
message and be disconnected, as if
they hit the peer connection limit as normal.
https://github.com/kallewoof/bitcoin/pull/2 (https://github.com/kallewoof/bitcoin/tree/pow-connection-slots)
Cuckoo Cycle header (76 bytes):
00..1f 68a639cb 3deab5b6 23054d60 e7856037 8afa0f31 4f08dec1 6cc4ec4f d9bef1ff
20..3f 468af883 c6c9c3d5 4260087a 046d12a0 7cc3988f 9ff2957a 384de8ed db75b037
40..4b 798d1073 214b7ea6 954f1b3a
Example solution nonce: 0 (
00000000
)
Solution edges (16 number of 32-bit unsigned integers, read horizontally from top left):
550b1100 0fc89a00 45034401 ddfce701 08da0e02 6ccc5703 06fe8404 1d3f8504
559e3e05 d41a9905 17075206 97cfa006 59e50d07 7bd71f07 13fe2607 14493007
SHA256 target:
0x205fffff
Cuckoo Cycle header (76 bytes, same as above):
00..1f 68a639cb 3deab5b6 23054d60 e7856037 8afa0f31 4f08dec1 6cc4ec4f d9bef1ff
20..3f 468af883 c6c9c3d5 4260087a 046d12a0 7cc3988f 9ff2957a 384de8ed db75b037
40..4b 798d1073 214b7ea6 954f1b3a
Example solution nonce: 0 (
00000000
)
SHA256 input (cuckoo-cycle nonce + solution):
00000000
550b1100 0fc89a00 45034401 ddfce701 08da0e02 6ccc5703 06fe8404 1d3f8504
559e3e05 d41a9905 17075206 97cfa006 59e50d07 7bd71f07 13fe2607 14493007
SHA256 hash:
262c8558c7c589b19b3d513abf5fcb15162745473e603f0146889ceff750bcc3
Must be less than:
5fffff0000000000000000000000000000000000000000000000000000000000
020100000009ffff5f2000000000000002000000051c0c00e4004c68a639cb3deab5b623054d60e7
8560378afa0f314f08dec16cc4ec4fd9bef1ff468af883c6c9c3d54260087a046d12a07cc3988f9f
f2957a384de8eddb75b037798d1073214b7ea6954f1b3a01000000a49d0659000000004730450221
0095fc5fafe2032097c4d12a8901401cda297aad614e16f23ec42d4b78955856c002206ab7ada4ac
8f6fa9d5bd7cd06f9ba89587a28e14cea14e7f8f8d5ab851541791
| Hex | Description |
|---|---|
|
|
Two proofs of work |
|
|
Proof of work ID = 1 (SHA256) |
|
|
Config is 9 bytes |
|
|
SHA256: Compact target = 0x205fffff |
|
|
SHA256: Nonce size is 0 bytes |
|
|
SHA256: Nonce offset is 0 |
|
|
Payload is 0 bytes |
|
|
Proof of work ID = 2 (cuckoo-cycle) |
|
|
Config is 5 bytes |
|
|
Size shift is 28 |
|
|
Proof size min is 12 |
|
|
Proof size max is 228 |
|
|
Payload is 76 bytes |
|
|
Payload |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Purpose ID = 1 (PURPOSE_CONNECT) |
|
|
UNIX timestamp 1493605796 |
|
|
71 byte signature |
|
|
Signature data |
|
|
|
|
|
|
|
|
|
|
|
020100000009ffff5f2000000000000002000000051c0c00e4004c68a639cb3deab5b623054d60e7
8560378afa0f314f08dec16cc4ec4fd9bef1ff468af883c6c9c3d54260087a046d12a07cc3988f9f
f2957a384de8eddb75b037798d1073214b7ea6954f1b3a01000000a49d0659000000004730450221
0095fc5fafe2032097c4d12a8901401cda297aad614e16f23ec42d4b78955856c002206ab7ada4ac
8f6fa9d5bd7cd06f9ba89587a28e14cea14e7f8f8d5ab8515417914400000000550b11000fc89a00
45034401ddfce70108da0e026ccc570306fe84041d3f8504559e3e05d41a99051707520697cfa006
59e50d077bd71f0713fe260714493007
Note that the first 187 bytes are identical to the challenge above.
| Hex | Description |
|---|---|
|
|
Challenge |
|
|
Solution is 68 bytes long |
|
|
The cuckoo cycle nonce is 0 |
|
|
Cycle edges 0..3 |
|
|
Cycle edges 4..7 |
|
|
Cycle edges 8..11 |
|
|
Cycle edges 12..15 |
Cuckoo Cycle header (76 bytes):
00..1f 3c1e3ee5 c799b7e9 92bcccbb 8985979d cb8dd229 b8d0db06 e677d00b b3a43c88
20..3f ef8596a7 7cbd1dda 23b0a0b8 4bdf6084 d7aa28dd bd5e91b5 11b3578c baf92707
40..4b c940b051 a0759b3f 80c5fb65
Example solution nonce: 4 (
04000000
)
Solution edges (22 number of 32-bit unsigned integers, read horizontally from top left):
5a013700 7074ce00 e3dbeb00 e88f7901 06d71d02 984d3d02 091b5002 378a8e02
90a6d202 b3c67003 757cb703 44d9cf03 297f2004 8e76a604 67e44a05 7b077405
634f8405 23e88c05 0d887606 109d3e07 c4bdcd07 3db2d407
SHA256 target:
0x2021642c
Cuckoo Cycle header (76 bytes, same as above):
00..1f 3c1e3ee5 c799b7e9 92bcccbb 8985979d cb8dd229 b8d0db06 e677d00b b3a43c88
20..3f ef8596a7 7cbd1dda 23b0a0b8 4bdf6084 d7aa28dd bd5e91b5 11b3578c baf92707
40..4b c940b051 a0759b3f 80c5fb65
Example solution nonce: 4 (
04000000
)
SHA256 input (cuckoo-cycle nonce + solution):
04000000
5a013700 7074ce00 e3dbeb00 e88f7901 06d71d02 984d3d02 091b5002 378a8e02
90a6d202 b3c67003 757cb703 44d9cf03 297f2004 8e76a604 67e44a05 7b077405
634f8405 23e88c05 0d887606 109d3e07 c4bdcd07 3db2d407
SHA256 hash:
08210561257e26776135ec1cb92cfe17f46803613c0bdc02043e5545b18556ce
Must be less than:
21642c0000000000000000000000000000000000000000000000000000000000
0201000000092c64212000000000000002000000051c0c00e4004c3c1e3ee5c799b7e992bcccbb89
85979dcb8dd229b8d0db06e677d00bb3a43c88ef8596a77cbd1dda23b0a0b84bdf6084d7aa28ddbd
5e91b511b3578cbaf92707c940b051a0759b3f80c5fb650100000024aa0659000000004630440220
0edfb5c4812a31d84cbbd4b24e631795435a0d16b57d37ef773735b8a87caa8a0220631d0b78b7f1
d29c9e54a76f3457ff1a2ee19490ff027c528a896f4bf6aff577
| Hex | Description |
|---|---|
|
|
Two proofs of work |
|
|
Proof of work ID = 1 (SHA256) |
|
|
Config is 9 bytes |
|
|
SHA256: Compact target = 0x2021642c |
|
|
SHA256: Nonce size is 0 bytes |
|
|
SHA256: Nonce offset is 0 |
|
|
Payload is 0 bytes |
|
|
Proof of work ID = 2 (cuckoo-cycle) |
|
|
Config is 5 bytes |
|
|
Size shift is 28 |
|
|
Proof size min is 12 |
|
|
Proof size max is 228 |
|
|
Payload is 76 bytes |
|
|
Payload |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Purpose ID = 1 (PURPOSE_CONNECT) |
|
|
UNIX timestamp 1493608996 |
|
|
70 byte signature |
|
|
Signature data |
|
|
|
|
|
|
|
|
|
|
|
0201000000092c64212000000000000002000000051c0c00e4004c3c1e3ee5c799b7e992bcccbb89
85979dcb8dd229b8d0db06e677d00bb3a43c88ef8596a77cbd1dda23b0a0b84bdf6084d7aa28ddbd
5e91b511b3578cbaf92707c940b051a0759b3f80c5fb650100000024aa0659000000004630440220
0edfb5c4812a31d84cbbd4b24e631795435a0d16b57d37ef773735b8a87caa8a0220631d0b78b7f1
d29c9e54a76f3457ff1a2ee19490ff027c528a896f4bf6aff5775c040000005a0137007074ce00e3
dbeb00e88f790106d71d02984d3d02091b5002378a8e0290a6d202b3c67003757cb70344d9cf0329
7f20048e76a60467e44a057b077405634f840523e88c050d887606109d3e07c4bdcd073db2d407
Note that the first 186 bytes are identical to the challenge above.
| Hex | Description |
|---|---|
|
|
Challenge |
|
|
Solution is 92 bytes long |
|
|
The cuckoo cycle nonce is 4 |
|
|
Cycle edges 0..3 |
|
|
Cycle edges 4..7 |
|
|
Cycle edges 8..11 |
|
|
Cycle edges 12..15 |
|
|
Cycle edges 16..19 |
|
|
Cycle edges 20..21 |
This BIP is licensed under the BSD 2-clause license.