From 53e0068b7024dd692baa76676ecf61f6dd46073c Mon Sep 17 00:00:00 2001 From: Michael Zaikin Date: Mon, 21 Oct 2024 13:15:56 +0100 Subject: [PATCH] Update images --- docs/img/utreexo_delete.svg | 6 +++--- docs/img/utreexo_pollard.svg | 14 +++++++------- docs/img/utreexo_positions.svg | 6 +++--- docs/img/utreexo_proof.svg | 2 +- docs/img/utreexo_stump.svg | 6 +++--- docs/utreexo.md | 5 ++++- 6 files changed, 21 insertions(+), 18 deletions(-) diff --git a/docs/img/utreexo_delete.svg b/docs/img/utreexo_delete.svg index 849b3197..f8d6fdc4 100644 --- a/docs/img/utreexo_delete.svg +++ b/docs/img/utreexo_delete.svg @@ -1,4 +1,4 @@ - + @@ -21,9 +21,9 @@ } @font-face { font-family: Nunito; - src: url(data:font/woff2;base64,d09GMgABAAAAAA0QAA8AAAAAGQgAAAy0AAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGjAbg0IcgXQGYD9TVEFURABsEQgKoGCaOwtcAAE2AiQDgQ4EIAWEJAcgG4QUo6KUs1KS/eWBDYaoNbC/OCAGsm2Ht1gro+WbZLXFtdZmtF9Tw+JCAv27IPCpHMjfz+Qo10GBa+RskgN+JgXIrsS6QlU40hWqQr0uKUMWgDI8busfovw7QJnEMHFEjrBJaW0QBMRKxCisi+z+RNWw9c4n4ZMKKCzCBR1isAhLIUzyGqEpFNf/APzfoS0HnskQwlr+VRic216/Cp7MoklpeKJVsqrteyMADI3+v/2+1bnv7Ky1h4glfojbOJ3QCIU4/z7Zf998k5011UQTb+RNRJckHlUah0wlJDKhFEgWcmBbuQTjWgs2RpkQQ93tX5/38/4Pi0APQA5CkhMpiaPa4MeQgpRKhkBqkAJ2eTXLCaiXPX0NgPpU3t4EqPwB3iegx2tfE+gGBMQxYhIzfvOHFoWnkNgF/Z/J2HC3HBdPywD/Y6f+e/sJ+F+57cLlUiDWP4Rhz9L968381/bee/mKhfycXwLHkz9HoBe42ZCuJegnFoSaz5qwWZQTKAqKnEjYTLIw+lKc7F7POGnX4ISYm4sgzgkkRMqEHsv1RCmjeD5c523/uCrNucWxLXf10twIpP+woT3gPdXWlIPfks3xgTBUcoZAGqIk06rQDXXHthpSQVyX50mdkm4Y+SJanmBSPe27bhZkheygo5AMHan8JbjprViDeLs3wGsUTsEvu9IiL5tZfREA855zAEdqNjoRUSx22wr+YvTNgQMgWkfn8/98wC1J3AMwH6z0nxyUPVmaQzoHGs5soMfrrbcdA+CvV4TBsFkNUoGp3hiaStTT1xcwYGUDRULGTHPqQMPjh7HAzMajUQufjiYYZ2JTpUEzn/bGPLbZArPNMtOMMHZKxJTVQ46c4cK1J4FgBQjfAK4AXCNKs+eyx8i3DT5z3KdlVjO13fE5CIMJlO5RQWJhmJIcpM4fKeEEERFUGxWQwIdCEGJgIWQWQ6DQG8eyiPQwIlE2Lr+DMebT8rERShmnRiOVAmsXJoMQ4CpFKG2eXixGI4w9CKZGBAysQ0oW4IoI4R8ihOAJ4q7nMgtdjFNXeE1pOUdQAjzWonB0FSxGpH0LTOgC5BjNt6INtlTfq4BQSMQEchD5mggdk2EqCOo7kN3BusCgJGAEnfz3AroFGJwjF4DgGG7IwvsNsGLYDCqemm5hw+zpwfdKPKXwub3IVdjm9IyLosAIA/Hs5N4QkDakwcy6GKYKxtp2GlhMaIQPFhLAcnqnJccyfE/n9Cp3ZkXMuRLSiOJ3GX0YG7tkDqhKehkumsGYMpiMy+l8699vzaztkg3INyprs51wYwCCDwY4ZQDBebdUi8XZ7unljrIiGZjb4Lts7zUQArvLVqJxYgo7bPGgaZq5uFxm7uwuZ29t5S+e4W5xM5RyP/EYH055mpIYKcqvic8H+1Wlw2ZVwrOwbRpzSt17myD1lALZkFYWFUQ//PrkhrRZg3VqNFLo6VjraLBqhN4THHDOY93j6RpVivHrQTaW0/oZDO+UgquwHKhMru9RhaE1G/Dmh51t1g2v19AYExYMjCEuxM5b0Ecm4RwQi+5Pd1vLzQnj6Ho77zCn0si0ngEa1oZwMNhsQ0Tq6jabRQZiC1q9SL12aQOYFI9rAUoBqUuHNKdlLlAbysIcel3QYLZ+AQc6TMNjWHuIsqJ3iTxMmVN+2ZGtPSvYasCYEiBHhQgJibAiC7/6LsPXrUezupggSVpLQOqyEYI+e31H1Gd0UrwA7O2kLHYheBILp+wKBcszHHj+q9Rth8yMkw5gOwtAOBJw1ukkcZPWAHaNPmMxEQB7AybnEp+s32Z0q53qti1qdkiGuEr6xGRrmpj9fs32Iht+iXJCZJY6fWKv/LzEPnV6i8wZqvq1kOHteXNQCwsMD5kZUnx8tAfX7tqy2iUbXJg3ROqeap1grmQaTUxP8shhw4dNAINwcA96LX04/M7Xq7naM7o134G3dC9cs8VqTTGbrWbrFuAX68s0CT6LNb5FPT6DoVj/ldBL98BwJ91H74JpXfTChc9LDGiqWC9kZavzLIVGVC9gT38t1iIglN2iSWqxZGla63TJMVakb0SeAkLIuSpdYDwjbak42iRm2xJwBa5CO2IkPXkx4F/89Bu4ghAwCQd30XtqyLFQcAzZNZxbXlJV+N/DhxEO8/0Fti1FGsG5NkpMMBRL8fSUgYdxpiXP+Y3eSYM76e/jFwm6XyhbMJdG8WcNgEAXjtZFn2H+nmgeumshz6lWazNVp4PgIp1WniJiO404ehcN7qL76XfHK43W5Ff0Gvj5JmSALq02SdlqUSFFSYZcViJAi1Y8c0Kpm3XsonXBlmQu7aEXLvxWbDAaSjUJLVZLvK8GmaHRX7hr2U+Ul8RmYmAxC3VJO9l7t+B/u5OM2A/RWL9EA2TApaTqXtFrAJnaKuRlq77payeob7RNheFoY88auYGe7+TXEyjT8APOUoKGHd7cCb6ta1Guy4DrtN44bViiJiPb+Pb5Uc6QieEauvuAMk8DUL367VrfpZjfZLf37rttY4diYaPDbrVZRk6alDXMrtgwsfkQwWyKi0xxUPpxoycW3xgEuUc8H5n/YlUgyU51tFNNFIqZCgaFeKjE7btvvaKi+VJVisYsygrLvNkKPD1PjK9nK9MqxHHOJFG4LdGx5vyt8DTG28aiaotaf3NmStSkF6udIdIYU4RAoLFoMlNoTjLFQdOK7/EFickKI5oZ0nBiAim3583xdSxlcgUaZ1OiUSkLZhLSiLaS1CRVQb0MLOhDv816GF5MI+58KtiwbjxEHhay3Qw7KFQHbK6nd5le+EIDR4UCBUULcvHECDc08EZvV5hMZmJno0aLwyQ0R1ysyQykxJPdVBfVTnVQKE4qQghbXoDKTWWKhCqTUeWpVwJzN2eHPWlmYxFvdEZpXYxZWorYlntzSa03wpLpbJ1bK+ldnI+vic92ofHaEmVipdGo9FarUrPQrxyTWMwxfUVvnzdYgYOaMwZqyrhlVCeZ4qSOpg6hQJ39JBn9xwGUrUWicetiBFmpsqeQITCrxKBWOWvRtPRaVOlUo6z09yug5O7usnSdxt0iyc7Iceh0ekdSjt2ZpNc5dbY0mSFCzlNadSkpFp1SZdGDn0bKmKXLvbmg9WaqqX2KtshNsDnRhFVVBpOypp3R1W5LmlXCnzQ7X6TnsU1iCduo54rQrxyjRMwxfQN7/dNcDY2JsG3ILE66s64hkWafNktNe5QyS2gTZIhoD1NmCuyCLNDMZJIANDYzJ+bn8q35P+3R01IJhBdNhJRYFgJBEHBDBhJx8Yi23mv7h0RFMannxDc8m9NvTDJRWKI9Xzis95yWTvxqJgIBqJ1Yvoky8WTeFs/P4jeh7H3MqJW86GAIIkHBXN5aRlgJm3oW/Tl0S9qnzPxPqEtXxwphAX5pspRXrQ8HAZYcGxw9hxwXRFjSe+mnlBwKOZ7yCQkikcikICQ6ODZxymHyxCtkcMByzZTWk6mLPSc0jHDecS6/gwvX/63+3i0/HXgIQU5BJAgC0PtCANvNWy9CxSUmBJy02a76ylRxhS1BEblBd1y+OXGbuDclUW3NjOzmxfpHqFLTlMJsPWsbZzaXt5LNOcnjnwR9sSSpvHmljXGAxYRIwat6FawlEW4eLtyuF4O9nYNtrUKUPi0598tNyFGbTDnqBO4zbzJtX6TI1aYlolikG4sOYaN6sKJHvM0MxiYebxODsRks6HQe604kbk5dFvxJa6wZkf+lTT93qFNTVUKLgY1mu+qqUtAqezzvOuckj3eSw17J564E/gvgQCSqU0A4oBXQUPE23s47eCfv4t28h/dqfY8BP3T/AbDtR/rlBKRoKsox6RUmW47gKld3jmIVLAswoA4kqwtyEJeKdOCDG6KgBBDkvDgMsN+TTw373l2tNN9irH0JwBP60qsAeB67NOH/yPKKHQQgZAAIX5G0hrBo+G+zC7XVF7FZTJ3XXOl7XJVJHPiC5YStEdI7xTITjdik0qtRXMjTngRSMxA258SNwAc6iAUxZEESKEH6rcdUH4h0XCwMElx8UZBXhYE2uyIBrvPP1NSvlLkDS90EuOfHY72MO7HeKN1fb23rnOzw9YE2RetCo6RtBLk+AeJNEPCUeotPBU5o1qhcE4tqVWp1aJSuXbkGtSq5VatVw6udVYcmtdo1S9ZDO59yWdhUiQeVq1pQm6Bmxpci4kglihZ7c1WzymaVPI6eIYdqBDXgU328mZFpRoRMlKNb9OTDvl6saDHiIZy8qiEelY1PUZ1RVlLJgFA7STZXMAch8KHatWhKRbaXNTzyUmoqSFU2MxqEouaipkE1T7NQO5lkalCkEiGs3Y78cREAAAA=); + src: url(data:font/woff2;base64,d09GMgABAAAAABE8AA8AAAAAIrQAABDfAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGkIbhxAcgjgGYD9TVEFURAB8EQgKrkikfQuBAAABNgIkA4F8BCAFhCQHIBtoHCMDNZKz6o3srw54Q+qjT6DEUjoQXVWdJzqLwuL7hYoTFUPUjGEdxmOEdf07m2OGxY/n1QhJZv2ntfT9md1ZOuRskPku4S2CjJCV0RUqqkDCVJFmm9bd8Litf16UNRhsiEX0QAyilAVlECVoX2EGF5H5o+Iief7jPj3v/kQkFApYwDLhdOF1xRZ3KsgmXIQVtNo3qUuloE/63xBTHpFuZ78LAMMWnuxV5pZNeYcADNPeBhQgAJgIA6f/t2ba+ZtMgbcsCdRd2+cBjQcUZvJ3spefyR5gUuYtYaCQFBBdVS0S62o0osKoVtFjNQGdLPqCi0Jk/ncsp3WnRruNHCYhVyb22m83BQQoAdgAKibEhTBRMURCRRBKU4gnZhuAQwSxFRO+VF2RBnyxHJmBb/+edQTfxebNE/hIALy5xDs/tE6ggoJCLzP3Yz3EAR2r3/QC9sQcwM1htdD0S3f0qtHezlm/EKR3mPheSXK/9mNnoTgIvPZ+bEdQ5/KOJ0erfdU91NfsYVIKJPaFSrwkBJmW/i8onKk8Ev26QwmXN7qdntsth0rKGv7UyYSO9OfWL8rYz8n9hyEa03TEpKahoO372ZzLXfVr1H/E9w8Xx/wTZvt+2z82I/5BBWBkDDmg28S6h1VqWnVv0SLHBO+AhGMkaHeZTnziSxQqoukGnUjsNhIHZ7K7uMk8FJ94+cj8uiqga4IDCiERCnKVYSpg10q6DSGFqCzgJA6Kk7kAAgdw88QCGXdZLthpFIAONVNGBBxIgGSGurBQiTyitbDA1jMkLALQDTJBLCRwQI0TQCdZikWGXDjKeNmICbS5PmzSEZwov/dnkYoUiU7YzZAPrk6P0XRkbW6j6iK1v4mSi9PtI+Rd3Tq2YAKoiBVmIKQaKWxXvPDczaZ7nwYuDVRsqwgJMDY/xFo6RSlUpWluSG+zr4kOcS4dQzwDAjKGEKNw0vNVBInN76NTJBjYhnF58Bx2EYkHlqKp/8jAntkCYJhsDm2JFc+qXoL/Q/u48Aoc94Z//9eCNC/5FL1U0n8zp0zHZbgtAd+e5Yxwc5y8SQD4e14axbirJFBbVlwTGo1A45j/ABBSXBwhCuD7kwQEuHCCqVCjXhO2pJy5415/BJgKVOg2YdOOI9ZzW4/y9d+e7sHW+t+n+f/2HwSMXKScHUc7PI7fB8otaAs6QJ5sS9gWh+4LiiNlPhe6JqZrLFgQeKT7SfUqHSBDAwppsVy4vzY94bZVuVSeIEiIS2DrBfTlUKk5CkESlpLBe4rjYHnpvdViiMWJixdDb3+aRHe9u9k8IdiiCVugEIjHbS9Yz4Mtvu9jzj3Hy5KlRcY9xDoO4LqY8y+Iui5LoUkHsxVY22JjTzKQCzioHMW7D2zxEJoVCHIdK7VQABxjaU5R7Np7Hs2yq2jjnoM4NAaIdSbZU207CxC2zC+HO0sMRVGjE7b5XdAvYj9UBUL8fdZ5gS0LUSwMuQNwHSD0D4KuUfmMPRmEDNDotcqjaqB1SbMZ/z1J23N98MNgyVDbfbHGhLDjwOujDu2tloGe0ZGKZObwsYgjk1Dp3S5YBPu+D1TV/IL1zguKqprhMe6BIMS/HaRFHdiUJ0Qr1uw8tCWG9i52IAqB6pZ9ZADZvFocw1N5JWLIs0hV49nnMCdGRb5g/hLRIGlLGJh4XpNzPgwVwjU5EdvMZJqZkf3I/mUtkT9MzWYXMGi2mIq8mqGhGLEjLlulEivgqxFjpzj4DmwZP11ezuT+j/KyRLRIZR2xm8DUKVqHYVkizJ8FlZpZ84IY5TJxcSlEBqO95Km9LJqURJK/13kh7RMPFVWx6/EH6JFq5jrIoftSHvDJbCbYYZga8uFqq1CiDJCxqMeShjfNdCIImtH3oCH6U0PIfMHGQT4esoc9C8vabi2+R4yKokYZ0XxA3CkwWC7Fd1AdS5JXZJ5aX7wHy9yNcm56FyqbjrblNhZEqzNa7p6EBCPXEsKAofTkO/M8Qm23cjV+DW2/d1motGzlbnktTxAt3OC3oLZVqMe6EPz1vcTLkvYqhwgKfsuAHXzQvZvTEbZo1lCSn4Azbql9pNB7oslKPwOIW9TaDCE0stYj94wric4Ey+WbgNlPsMEs/yhviqz0hY28DTi7ep2ze/6NW1qdv4dGT6s2O6k8n7aQdg67h42nDZYqkH3NsdZHvVFCPPQVjomYQx+iCV/QJHZCCGcpQMoxtOec1RDqNYuH6T6tsxzE96BatsRmPNMxzmCIEMQKUGEgWH5kb1Dq2pxCGS5aSA1/S8QcxjD2dHVmA5nWdSkdJoGpLPmjj8BCXJUpy4XsviHBc3DPOTwveaTDWM8iYm9FYIuRkrV+KAKYG12aHBUxaqFogoGy1ipiRFOXY/iR2S8tS5pBk6aVkvTr0F9WVMsXzmt0bTHeXZb6wDO3Lr/dLW2nnz6svHnxa77xv5rM9Tawb2Q+ltJZj2tGlIQ1o+pxpzKQZHizPq12+PMJrTwwNbScVdFc3vndJw7tDConloUnZYQWu+ZZBnNJihuxTp8ydco8wJ5aYZIOU7Dj5xw4hw5n35L/c+wIvu8RTBDIMLQOnYr80T6iZWjktIf2c7+jtUjNIZfLZrG40jt8CHwr2yOWUzJNxVh2o9KgcIbjs9PFAzNFi9KkHcb/9FwrzfdD4EKfzY8OF9NFhF8iDZD90BCTUYPa+3cexlOAvR9ZQbzcE0ZrEGYUbUe7mUg3yo39vwIniGqTqtXlVLdXmYJ2DJfy3caws4yU4xLeqVs56KHieZFLdrpKhOyTICrw/2O5aARButF2NCprqLL1P1YSmF1e5+QxDPjM9RuVUu5WU26rs8jUVm+2Zrk4o1PCOohDLzaY41Vpjs3yTErO96j7lAbLvBwy8bufxn1QLX3Wp5QFFggkig430bMhWhY9OFU4sHJIWd+vv07xW75c5zlUbpLc6YCzaFA2HBmuBPxJzRB02tVJ1q8sW465aQK7zWFr7P+0msDJgSZ1o0ObFp7j5mUTVcTT3WG0G2F2oyva2tuikAKX8IpUbmcpNW6JX6h2ucpAV5/4/ERT4x2V+lxjoUwYJPqgNQgSRWOIZC1e5KJ+U4KuXszh6FzWMCYyjDUXrUPKk39jsX9JTr3BZt16YSTwtUJnOPBC5b7/VG2Q9L9XvW41E+7FGweBqDlYdsOYETS4XhQwGvMKDTcTkHJzntYm4wfIPmiUiUTRHvhJlZ50WX9xI+HahcHC6b49DjNpTch9opSjLlff5jRwynOJYp6GglatYtLqOuyv6wQzijjt3n8ELVv/ooIgiSqTutXlVLU3B0Zs8h0S3fK66VCUTKtefOeAt6FcsudfmT17aAiI6GOzm39Ba8BfFKWM4VsmCb4kjwx10ATaKDfFVVNO/zwPz1FkkiG+Xu5CXhwZYvncd+XiuTRNHY8doy2n4/GESWWpdwE6ZXRJRW7DC7yp7ABvQrsRJII2DW8eRzH8D+1TNbxkwLjbcMKUiwe7wYtihdWngeGR++SxNaYCN/n79RVdppQjNWjonD5sAjECPrh4+8xq40AGzTxx1YSUdRM63DCNaxy7Y9bki+D/XJwDXYtmDSqrou9pyNSxrJnjB1bT6K3E9PHot9/BlRCdJq+6DT3kIgxf7JwzNQM/o/MgOHYF4fIWarno1FGVbK2jauVvbYtcyN9jdfngsn7nY0yDrV/G7p+Ya4DjpiG1rBloCYoMR7ueDFf2qmR/xmJ/wk7B3Zli1IgxJ/ZGdWubvd6Ro4/s79Ktb/J7XR7n9AULiqZ4hU0R88sIVnqDdNgPjxFmzq94NgEKTftxeslPO+ITvQx/J4OCYQsDTAhFGHFHT37yCwMryTDYTBZZEbvweRuIDL82t4GvdwyS5wRyZckejX/X3U+SHQLPGo8ydKTvfb7clr7gp50BVkYWlSKRmJymQhszQIf9zDz5F2KJxqojsUJW47V5icXDn8+t5+mtg7Acjx5Lt61bHuuI81Tacw2lDUqwLhJ/zAYE2ciMO/69ZN+euRB9CuuoBfHDDD9iaUCj1E/tSfEzkoCO0rVy7l+bFoLGPxsZZCuVFN+NkU4/JbWk3K8pjIdV9BAjyPAy/DAcYHBi2VtLMS1VrVMPoUhDpEEPLP0CXd7c5U3lopkFVfVZlowqjmdrbXFi2zO2FeWbQ3mKkRUlA2pU7iCmyqvUawaTpL52qMFehP0voORyAfU/dvq0gSWgloLxpmphNSNAhwOMmYxJMNQ9RlEwdg7AKE+rwhQyZ0mK7MrvISK+qJIwGgJ1mCO/DtMHjBgv/89tkLV/qDrfbAq1KtwFPr/ZjPtzfd5ALm4OmD0OJZGiFeldZpvNadYbnDh4TVHNrdpaWwzantuaY1R5JcVqTwBTlxhCUPqawchgpyd3hYe/aH6JDBfxKbmCT+JCGfa/gFTIBdQLMCU5go1NGsQzaYUgP1DfqGF6l6wwMr+xrZB6JAUy5te25RKvpAi0cLmJALrB5/qyXm89XPLam7nEHhv7U3OsLZvHgSAIhCAiMW7jtI6Ru8ey0tO5jDvyZ5GD+c8WUDBPduo/Ae9PQWv3gJ1cDgQgcJyLKXj+9fChyOuK35L4Z7jp20WZNAhKhGhC0e40diWfcRt7PfmQ41dm+S805xuzpYhkwGZrhmgongx6c3o2LXMVPSchdtPIzf/YfDBdBf/DSUhMpCcmcDJp2ZpFF+nzH9HBuYQWuO26fWPkmiktWXRVKO4SIg3vh77sF3cz/gKHcwNKhCAA/RsNgZ4Zor0yTF5JccD13MGGwXb5II9al7rPfFV7UHNEPhLWGF2Fqf1qe/ZKMdgdeqkb5x0RrBSKtvMF10Xi62B0z8QMbct2T9o5HhdKpP1My0uMnVq23tIgB6d5fjBPJ8tf0j/8Qqj2GSnKZ1QLf6jtv6REpivOc2iwnpz0nhjWM53TU3ZadDAt7YBIdCAt7SBYx1P3ma9pDtq3aH8CTa6C1L4O/r8pRrvdIHUSfMwdrB9iw4Z4VaKngusi0XUBf7tYuB08WBtRPWspQOZnzhFQo4/MODk4ieCNh8ZTFDSeP45FdtycfgS0bx2lVnKig01yxxWkjef1c3LFltG6oZVXurUAXaCcDUqTTrKSjiWxtyUl7Vg/xIwdILRdQ5rRAApnBUBIyXygCS/ghbyIF/MSXsrLeLlWcRUxKjz5RPZbL/NKz/6Xx7mGU8wqzxX5xS5PLhFK/FAu4xVSTkiDelCULM15QipfgxhCkA6VwEGRGxgD4O9xo/HjaZXT9If3/AkAvgT1zwDwvUqvTSvdcvnoN1tgXszcv8vRymDKQpDV3trrP1XZiOb8KpiCBkZXzFSTQoMFSoLYKoDHNdtNBv2FCZEUIEvRYagw/FyHZCqBp1RTOLtvKSrS71KrP31AaCiSnd4gFAOe8aCHVYMF7VAFJTACrdAIZSUraxQTBiEXsiBhldKQDxlTx4TYewPQ0h59SUWQvikG0G6F7ICUFtk9mOECR6P+ALj0/1KWVPhUlnG4Ksv1uB0tscvKIlbKCGXKBokBsMlqQwwPQG+uEzfdHWDKqWObTozatSPllmODbtp0JGXbvF0p+5JuGnPLCdlvOtXrLpPFMCJZsaUKKp6zy3Ljc0+dMFUrU6dC1Sl+szHjxvSOR8UwRftIR3asJTZpc1i9Sd2e9c/cY7HsVSpUqhlpZge7YRQGJlhCB6rahlKnIYiSjAG2NBWoEIHOVgM2KVduX4ySnp5bymynGZ8RQqep55Fde2mhm24qlyBDHQtxq/ql94kBAAA=); } - 01234567891617181920242528ComputedProofDeleted \ No newline at end of file + 01234567891617181920242528Computed intermediate nodesProof nodes (missing siblings)Deleted leavesDeleted leaf (no bg to show the proof overlap)Empty nodes (previously deleted) \ No newline at end of file diff --git a/docs/img/utreexo_pollard.svg b/docs/img/utreexo_pollard.svg index 209a862c..f1cb36b4 100644 --- a/docs/img/utreexo_pollard.svg +++ b/docs/img/utreexo_pollard.svg @@ -1,29 +1,29 @@ - + - abcdefgbcdefgcdefgbForestPollardee \ No newline at end of file + abcdefgbcdefgcdefgbForestPollardhhDeleted leafSibling of deleted leafAdded leaf \ No newline at end of file diff --git a/docs/img/utreexo_positions.svg b/docs/img/utreexo_positions.svg index 71fdbc6b..4c7c8e36 100644 --- a/docs/img/utreexo_positions.svg +++ b/docs/img/utreexo_positions.svg @@ -1,4 +1,4 @@ - + @@ -21,9 +21,9 @@ } @font-face { font-family: Nunito; - src: url(data:font/woff2;base64,d09GMgABAAAAAAjwAA4AAAAAEJwAAAiXAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGx4cgUQGYD9TVEFURAA0EQgKlRSREgtAAAE2AiQDVgQgBYQkByAbZw1RlFFSG9mPBNsW9TpAhSojQYrRIv/krJ/HTXufUCO0pCQVJeBtqAmioeLgFZWpttudz427iXjPXHl4u71/dy3QlnhgzYM4KWxp4IG05ZzwXQBcTZu9/f+biY1DtqIe4cBhPMZc9v9INkeorQpJFxaFRHZVi22SwaHxCGnQ/f169WEwc5EOsxDQP+a5197aawICwBMvHpoLy90QjAsA/v8fAIAJSeXFaql97mj/JeBsGR80RW5scw7sGBwaAMl/MYgEsdfEwKi0E0wcjqQtEsBbfIoaiw8BCG6i22+BgRDpSLwjtAK3IxIhEXw4eFZpM4LYPAqcAScf4bl9Uy76RQDgPJxqACijjaAN4kMC+/gI/r3kQ8F1SKfJP9edwJ2Qmgb0Rul/uqHoWmKJOgfghckG3F3d4wgAfndjIw77CUUlnBCXAagJUId+6Rs3KEqCpHPRwAWkNKNhpa+r/n8R2Qk9KsGXEjkwMjoKtgJwB7I7cPtzK3RwOLNFMZzJQm2/TRifZoyigBwlEU3zQy8CchNV+WHrTAk/KpbPdw/RMv0aWvr66/jMq7DklVe8M6+jpa/xpl+BJa/i00fQUj+OB+Duxw4c2bI1yrfxID5zGLhYsOQQjzNeOC/HJ+UL7Et5fL5S70ahcbUt069pN7yuPXgw4sKrs/TXb0U7vNQlM0/fssY5UPhCNspBLaIMxC8pM66rfM4h3rnWi+HtiM99zbjB6Pizy3T56sf2FUGYl7Wo4XN4p3mscoYCG+7z/QyPb960b1/kRRBQALy9L2SH2M976zlvP+MHPOuZPrAlrg9qI5M2b6K6H9uXKjMP1tJKz7Rh/I6luvqZ35I8XcP9QpCL8F2x4vXYFGJPtc8NufBmHZDLvPX0uHW8ft864z+2d1Fw6IldMx+6sESX/vjj/TYGNP8xdlE7LTMQ/NrsCTqOfonlWUKyQG3/GfuSzFzOe8lkbA3Uzrzoue7iYbG2Hxiw/Z59axDuRnnZHXbNuopep6nHHuNNb0AKF8KhXJ7/aZc+eyOjv71YQZIPlkDtwFlEfeu1p5F1rEnKL8OSK6NUG1UHvGm0D6ZCYNW+BNbLa+3sTX+NPddxmAUiroclz/qS5Dyl6AAcG33T5fMC4ZYc2FHCszLB8xZdPDaVv3PQ4Zi/8OyJifzdAy5Hpb1i7SOPlK9yEFslvl4ibCU9QtJFLpKnP9zwxjLCt+bztTVfHAkVOCjXOMWSpI2CZdGdFP/cpbe+opiaVG2h3pZcHlv25gh0zr3/YJ9UU9yqznIbkuPsua4nnn8rrtjwn5MEa8dEx97cXCh65Au/Ozo1g41XqfQV+rLCCLeQdEUY1e8pVbkF+VamLLr//kMC79w3H+yVaApamSy7hhEV7tqMF/PtjUUGbW1fGuwKjJyK6ouM3BvBv/Cp6vjRBwnhquhztkgXSbkibX1RU+wXozGh0zGQH5w/TL94f42PWPrGfE9sWhorrWKsFS42yRb/YldZKJkt9FEeykG5SNJN0XjswVomj23Oz2lnrdrOPg3Ygt0TDsPmgXrFTGlTb4YttYm2H+z2CkbeiC2Ikpp8xpT5DTW8ruwqD5NtbNTktlmtmu4ObVE586uMVatl7K/M+m3DoUBiqHSpvlneTLmFpJuaoVaQxOSilNLFDwATbB9O0ftMGaryorRPCUtoeaNFp3X3MMUlPYzGrWMkJd8fIgpCfM0lJr1vOKWq1Okymcwug9PhNphNbpO9OM0Sn6fQVJoKCytMGm2FGf4MTmkWNx3s9sLIm1XVFtRH8+bY3UxOYLuF1XR1s3rG7YYtDfykpTXJZoWUVadIrWZ5MvOrzJqilrG/wRVusad/IDfSvmKLrMTd258b4diwRRfxUeGWJLuqNDniw8LNKoeqHIbEYgEQrFTszPjz4JmaPx3pG4pw/ItBvDBTQhMEAT7CIuDvXTM2/8nF0SKRmHpO/UbnqZI3HmFJSfLlX2SS72XDkzy/mCaAgAuYkiUfnq0+3flnwzcx0qti0WFFejhBCIhwueLJxNhGKfUs8+fK08VaZvsSmkp0mUmRKt7+glRFhzkOAjBhZnj6NmFWGL5v/v6fCp2kMJv8iQ4TCISCMDo9PDP3sVvCh18RwvUst5Ejs0V7O+/rE+MU9+TKCXlk378dvwfznw69SdNPEQKCAGLvQgIwkeJYMqNuZGmYzVWevrYidas9Jz/huOle3qncs+r5ZK6usiwhuBvjxmuLijVJVWbJWdlWueKwVDarUM7CQkyQmjd02J54XSImBOFfhhsF+Oq63bY+NVzBSjzG/OSSDSHVv8lznDqWdepy5J91h2yoSc73GotzGYwWYQyDiWgs+YqkilOJiScVipOJiadgF5Zw3HQ/91TRgcLvX19ZmhBULP05XldUpE2qsEiZKk9veyHT7shWvC6bVShmZdLDSvlhCOwBB2gkzuehPIwLOMHDuZCTLmobgKCKjghUz7mrJGyD7Jzb5BDTx7lDEpGoAhKhF1KCajk3yKkeQAk+EEEj0Gh5PgQA+xKe39nzR5NA/2swhn0BAN6O2v8qAMB7mftz/g/6X89VcwkACMQBAIDATyxaGBaED2P3ffnxi8xUDVkLGAUThqCGcjCABlI/ekYsAFqJnESiFHJKIvRjHgK0kfoAvdwSZXgQbhowqIQAwB744ysMSXc/jCPMxTCMbXI2lw8LEKs+NFCq1C4IgE8CgHgkBHAeiT9eC4BzaKBlsKKjvWdioGS8pb+nzdfR09U9Xjkx2DM+VDBnfLSlnJubkiGqt2N07L1Dg7QsqXKly3TeOpVVlQXTmRmc1AXUz88dtS1Mz+LSm7NDw3NHuS0zpcuQjeZ+gI5xMpJdKIh6X6o2KVkYQdS9xhYW0FQ5xIyGgzyttIPqslG3pKE1VVs/4wtBNHRp6O/o7BcaF1MamSU1JMHsE/r/eDwAAAA=); + src: url(data:font/woff2;base64,d09GMgABAAAAAA4gAA8AAAAAG7gAAA3FAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbhU4cgX4GYD9TVEFURACBDBEICqMknAELaAABNgIkA4FMBCAFhCQHIBuqFqOilLPmQfbXB9oRkl15axTQ6HbWPfWSp5CPKBfu5w3Eta7jOnoZp3OSjyJSZ/kzWypIkGEcROUfX8/svn3gl09WBCC7C2IyFCpXEl8Ex+QOT6f1L5UycesJOJMyjTSxKiSl13JvT+gehN7/Plm3/qFXqMq4AvgnhG63vVDO6XPg2BpQgADg0X7tZ8Bnj3bnCZOoEqE+waUUru6ropj7l0YAGBr9/699q+/O7MPaQ8SSns42Sid5sjv3vb/z738zazYflbamqCXxCI1Doop4WklYtETejKVACAmqbyvbltyurXONUQwxC10YLO3pT0dBgAwYVVGEYE1IiahbPWEAqfhZcxwBQH4nBrsB+TYN9wKyBAD/fwLInm2DvSAFkLyetf9GUG0lDZVZJIB8zyUKci56lf6PmcFPw/9pQeY9ff/+R2+c+5uw7B2T519XBl8ghtBn/9x00Eeg7Cuj7+WRoMYGG4iALn/vl6stA0jAP1K4p1+dFn39H0PJJwoBP5nSOheeIo9+/PQ/XVAolLhfTde63CqgF6EshiqVLa6+Nqp5MsbQvBmUFG7MyaUSUmXIVECuQgplKVXGUJXEMJXO8FHTUCo4laLKYjxBs28eQhuNEG9tnbix62wy2Dxsmzi4yZzRc8VgTrjfZZQL54ADLDTpBnE76o1p5G5zzHBRidbMh1u1wg6T1s7p9iPRb3DHkHzarfv7ekDx/40oDzi3r6Ub/EnbaBDkYpHAdQjPGLi046AIm4h8WXjdCKHbpjmJzQjtYS0bAivpWrBRrZiNxgPrpUnsZog7tZIDqGikiq6yKpY/xYToEY0AWHgmsp78MLiYVKA/Wf1A4B6w8fPHPwl2tKDdwF3UUu9aLegmvokiqL8VvWoc2tE+jAPw67McHC5cm0BaoEJ34UgkAa55NcsaPlEs5JKHAVpBTfis3fAJyYQ0ierQrc+I8XnQDU/tlrqtXXoNJoqgzuFfPXn6ZPdy1jmtBgEhHsuWozsStovRbQgugXsPsBZgIzEXvUaGLwlZd5J6WIPe35G/yIeBq7eM7SrQIiMrt1dtUTBycK9+493AA6d0BZV9q+ZuWSa3qqrOfuPkF17eI6O1ZhmMLCunJaPXzeXwiM0sMkUKDdOoozCFs4JDpijy/x9Gn/+MAfH3jIspxy1itIaFpSpvP6EwcArzDb+/0JhIXEZkbvmnu0vAgytTKTaqDEkJjlXC0NQrKfAfzvoTf/+AT7Po+y8QFnowJQOxH6O3QtUtIN/gNMv0Hr0il9GUCDrMHsI6SpIm+itVTCECBgZnB2aoLOXA+S/6TUPxTdxeWjAGOZT3T7Dr8C9EsyAbUsgSMzLOyG7lcp12jEXf8TeVPzAaF0sP0d04V6NMdc6/MhNfQVYkmtaucpESCVk8wVIqJgLvOwlsEelV3fPGK3HNB0TJZDexlaMSdkQGya7iap9IslHXSlZQQFEjl47r836JCSrbzb3CBAkMEITME47XWcuv2E6AnQcPSGOewv7q6zaQKyZfSysFTNELurORspgNt9qxNHEflhg31ULyqxBNJLrjsR5HuZFB9zKmm5VSLOtDvPCv1pnbrBovw98ClaUixYJY4YmhTe/WKXCNKo0y5+b8J8WlempFLCN8rKgRE+tpjXeR83ZkFILRi1JF7FAe9Sq7BITPDd9SWDez3Bqev2daxfccCYXIpnRDWspvvpSWrf6FQFju7WvdSl491SvK5uyCkbg2VTwNTmwaTAHTIKYgHXsR57gZGrx61GHaZhMMJS4eQR5Ch3mPE5p/RNK6LAqh1lmI+xcoK+YQ2U1rZcEF7HACMgHNik4U8RzGcL0qShxHixBBLKTVZcierg2adMlDziwWQocFn0A5xSuhYf0ii1OQVakw0Ap7eBQIS2EvmvQC8eekg1+bgFNKKjMCAcK+m7xIwZyVAaqNMtMjBGg0bC0RAzk7sfYMxBKOJBvCvBWkslX6K1rk3IKoXiftyP+CFko2gwW+Ktt4roEPqtVOJVE2LMzqHOzshSi6AVyICUIDXjLktjXhO4cWgC+icg8XxQTiurm53SVyoTOSWV7EbSrlbCrkDyn+lNGNBN/XgZukw29fDhE5Oj+PH9Cn0MIUchvNnDp8WZsP4iJto7Jy0OkS9Yvm0+nqtH+l02kxKnWUNkgbo1LGaDX7v6mvQ8yols9wKyLOGj2i5THn71dXLeBz9ytV/U6HcqBTYyxzwbPzI1IIJobkmkxRoeUwWoqhTE9lUnWwxgvr8V9+O+9/oq1TSdXZYCSBMkFbmz1OoY5nr6V1UGvzfszO/T6v4KXc7JcfaRbwWWR3RgLTtFEKdZT2i+gAL/X1xqndFFICYx4ERpIoY7RtcFeUGM13xlIvUynsfHZQn0Rro1Kn58Hp8iRahwv7sQTQWDpUsgGnHK5V6UIMsQT9Tt2OK6NbMJZEW/jn4Uz7d1ilj/+1ND5OrIN0SSaz5ntaG/iVsJo8cWQR6xP9QdRCYEnG6PmutlriR2pthbBUH2bKUBd1+kqr4SPfw8N7heIORi5OUkvUZuqUIkOnCxApXHyOWz6tJZZDhDKitoc2SqXGaD0TpDICVE6a+FnyXiVpS9q8V0hZSx5eHAXT2nFkEDpdodpJ6lyx0ubW/7T/9NtKUGobLXxPFlECXyLem3nv1LvC/U9fL9BBhK5dy8/AVyt3dUGQTjXOvse8k299UqBvqk03ijbc2NkNEDPm3Dg7Jt3b6/XOnH3l/Ih0f4/f6/I4l2/Y4FjiFWIJ7t5GsLMuSCT5SXPYpevrphZA4WXfLK/69kQm3kv2D5MxEslABguaY+SMqzff/56MVBXLTUqDwJFrfzEAsYlna7uYMkszWhFQCfI8Yv+p197PszD+5xjkQ0VnX2w3FW349mQgu7gMy+fxlE6l3UQJEEl+ihr9mMsTG6V6xJ7d/WwdPjTxYm0nQ2ZsRio8MqTItG97uiXDU29Wyau7SsA+Rx2jdVGpBykZ17/inTuzFiIuyb5qoPpJZD/V0EUbw74dDGWuyAFS0n74jWfLwtD8qZlibkkJxnQjeqcf4xvy32hrzCSJiGFykOwl+0mkABlOzz1ajUiwRmllK6aXx7pkwJASGPGqtvfUclbaGjrLDMUNsOdoewg/MJVrpDE1YbVwZl1VWpvIHURE6nqZuEWvl7VH5WYH8hcLQ1EW9hdy8nED0UF9tvnKRnYjOUAkBcgryYtI0OgcoW3uGoDw9AuVYU0Zz2Eu+QrSZTrqdQp5oAOxWDsQWUCBMKy/HIOMqeFGq0YZ7he6bT6/RqP1q3zegEqrCWg8lhJdvoQjc2lMJqdGJndqwT8JG+kNR9tDYOCFrx1m1Y4WqvQEkMqBrTpM1lZOHxz2qHZE+INmVgm0HCaGCpl6LVuA/MXSC1EWNg0yawl294ipnkU7WNZAZ7eY4t2yQ0H53GTzPTybgPKZyeJ5eQ7QR6fjATQm3Vf2z6OXq/7pLd1iTk//tpeZyhkwBEEgDOnwGQeXDc08PTe7qIhOfhWdiu1apzZgJIbg1p8sxi+s/tG0k3QYAlDXDRcjrZ+M7MX+WfdjDvMOveg4p5QAQXiIwOacLsytZ5JfQf65+JLlqcLwS6ixKsr5VF7aYWMxJ6rNA4mGWE4o3UWsyEo/NPPw7yYfiSgi/Q5n4fFEfBZcSigXb3pIXP82EdwzbANpYNI8G3umLMzjPGVzR9jUrv9G/07JeJ75AIZfgvAQBKDPhkB8F+esAEHrMRhMGnewq8WMNnsqpQXnNE8lF8VX0JkkscJlL0hpj0/Il5stMr5by7jC2snmHGeyJjncSTA7Hl8s6TvuKbzHoEN4wncENT59ac1+QxcKbhtrUC0VWLekRqbZlT4FhvkUleyv25O3VAmkIbVFjMTDRfEIEl8Exwtucy4WFl7gcC4UFl4E+0zBOc0z8UXzEesfgNJlK0i2MP/IV5jNcr5Tx0Tcwc5WE9LqFXHeY01yOJMs5nEu+ziIfgkFISgAfYJvhaAoHrx5SxITTfU1UNeXrmFhs6+suNmSo2PMh+ZjGDSfOS9bP/R8+RUweHSWcrQbQ7l6+rzOhPmMZr+548hsaVQ01d9AS31m6HFWP4+bWx60tN5uabmL60MS4BjxgaQQtALSKmSbbJcdslN2yW6yu+zh9HwGAVD+BTP2x329Bw5FavUJ6+kqjz7CFmOH9TFGqOKEQugE4aBqvY/NtTJwIQxFUO/CKN4cDjBXOro+Xl3RgFd+i0z8twA8beKeAPBiBDfaJ5901EIAHAqAwE9lXoaI8GBwXDwDI/OnEb1CrhREtYOWCuonlNdgHVUfIdYqn6UUND1Y8wVhYv5vR2MuEWEjVFzDIGigHFBwgApkUDyoLLOAwQpsYEBhKJSBC0W7B6acKxEg95gWE7HhUxIA/jkcMFKtRHZLSNPIt0o5gkFsKoCr/NwNE4Z5NkwpeDTMMMvo1hYfFtCqdqhjiOIyOEBGjx5wshESZcL0qflhhT49mvRyimrVYUQPq2FNunVoERbVoU27YS5E9epY1cdoXPAgJcOBbSs0wKEdDjw0tLVPL1iFYmKlyjdjKri4uRg3p2HwcVvP3fi2g7wdw3NqmDHKyf0mDGLnKleqjAgscA+i6zHIHiIK7lTaFirrEBy4faYEIxjPBI7cLxXJlVzaNh63U1Y1K9Yy2x4F912WbNMtKva88DAZp617HS3hi+dicv6cdg==); } - 0123456789161718192024252810111213141521222326272930 \ No newline at end of file + 0123456789161718192024252810111213141521222326272930Virtual (non-existent) nodes \ No newline at end of file diff --git a/docs/img/utreexo_proof.svg b/docs/img/utreexo_proof.svg index c1c80f4c..e399facd 100644 --- a/docs/img/utreexo_proof.svg +++ b/docs/img/utreexo_proof.svg @@ -26,4 +26,4 @@ - 0123456789161718192024252801234567891617181920242528Batch proofIndividual proofs \ No newline at end of file + 0123456789161718192024252801234567891617181920242528Batch proofIndividual proofs \ No newline at end of file diff --git a/docs/img/utreexo_stump.svg b/docs/img/utreexo_stump.svg index ede9a586..eb001e76 100644 --- a/docs/img/utreexo_stump.svg +++ b/docs/img/utreexo_stump.svg @@ -1,4 +1,4 @@ - + @@ -21,9 +21,9 @@ } @font-face { font-family: Nunito; - src: url(data:font/woff2;base64,d09GMgABAAAAAAswAA8AAAAAFdgAAArTAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbhRYcgX4GYD9TVEFURACBDhEICphYk00LSAABNgIkA4EMBCAFhCQHIBsAElGUctYMyL44iMdODdUwVbEycrGbU7fb0JuGVvR8O09XvMfD92t9nvtez/zdnvlEy8yKyG75DarEuESYCAOsgB1BG7Wme+HxrwKADqEI9pEuYVVna1xkYXg87V+HXq8dUiTp4MwdVDgdWGGwu50/OPAAEi28/E1oZNRpl8SBWSBdQG2Nxqb1YwP//78frr77ZYZ5FIuDkFijdEK19+97X+7u1D2B10XOQkMtrmEaLUQykUYK5D6WpYuRFt11jagRUrqw++f7ft6/eIEmIElCXRiiWwiUplkib4i7fQVzvpUaYG7kbi0wCqh+CcT1QmohhEAoJEOkNEkpxStWxCe3nL1WSXL1eWl+m4v3fPOL+SvK96tYfaNUML6iAZT1ke1BmiFLDyrI+q96rwYr/riwvnkXhYz3aPP9vYRHcdjpYFrHkkhuYZmvRHlUtV+8OtTJjPu9R916B1QHO5KzX7of8/d+NrPp+nUjjNYlhG7dvabUEBILDZotWc4cqjDcVDQaZ9a1mtisqLxxQVODxc0wl2yTxNaih4UOBbJZxhiWP9S5i+QGYuVJk01c9IjcscnZrNrV7iPEAc1NUtn6UHCE7o1UIyO+5oUq20T9f0O0Rf5GNW/gZ2uzKcI2joOAfn4Oj6u749O1T1FtIpjWYUz1HRFlZVF+qi5vqHG0LLssHzAcv3N6FEjVmxNxXj8GpTo9ukiL4lfWpJfJBGC7WEmcAtEYJzkx4M9SrxIXSfffu/9nAcXCmDEGxGsA8fX2AI2Bc5QPIN1sgnSvWNkSwJ/IBFHhKtbeFGPxW6o4avGrhgSZeziM/TYfgmE6ZKUx5llkpf3esUQqx96xXxhjDm2/bTVQNbLpzq7zylY0r9mNx6dmrFEEw9g8Rjh+3I54/AE2PX0C+S+g+BHMwJz28jacfLybYwbRg4nUVCW6f59tyWgHDsuu2TZsKUazG902cn4Q5uCHC8a8j0BfSGW4+nmScvpsZ3+7eLE8MDK6bBG85QLl94/QcxoMjxmk59Py/pkfUf/w0Pz5yNaL5N/u3TCf0esvXID5vEQfyciwfKGgWAALczof4btGSx3LRkYXQaVDKbl89GUXMswsGVqs/y3j4IKOFOTf7u3AfIZstO0jhBflvoDbt3AkRRK6rdSKC7Aw8+dmkkBovJ2KcsJBCM6QDjS2idYJPRdPpsg+D1D0dQIHF/QPDzE2n9dLvxqJPAtpkDCIRH3cxcaZ8jtGB/sdzsX65k+zwLB1BZ7vQV5XIbYMdSkA0KBUU/axrdP7DIx0O1a8/37pEpkrJQH9bev0YfMYUq789aQA82Kjo20pyk7GwSUOw4sxjGbwcTX8gZHRwW4V2x7DNhxUAP6iL2zp0WDCuh1RKs4hhLK9UimRq265LDJZE0UwSuEQo2/9emAUfXR/CEH1WvLg6kEg0rDvix1SyemjIWuYYVItlo44GYGB3g/rycbBCqaOoO+f3on8G0UMFF3f/Nzfgk0G5mZSgBBLCZBqLjULl46Mot6pwKqqyuYQfM5djayQpSqjkr6OYOvm98dQw53Pt6hy1iXTqQhHXPRcJp94Cytl33/UfPfP9Pdlq+ZNs/ny2UaBkT1VgPqBhRwkJV9KYZI15kDLZmFtDa0GzdEl4CvyrpaEsIUbEVJGY6EJu89DsCsWocYB8470FnE/anIOsqwV/CQCUojRTu7y4PB3AqH+yk3BSWTSSCIDV8fZlsKZ9Ix0eYh3Siwny4UvrvBYvbkl3r7nb9cywyOS3Kb7BNfjtiWMfEaOITEYS4yOzHUGlaS4Miw+AatI6GY2IWgTs6M8tyQ7e5dY3oEFssZ1Z0t7unCQToT/m2RXVldWBcF4LcHgBQy1agakTMq1L6vvBfdI4SpfVnQAO7PbsSKEHyQ32Ya7+eaG+vS5+tcL3vM8Yqmah7q9xAX3BgPNB9f6+etkJNQIM4rR+IkNG6TOwJ+krBGKauQpwtoySWyYwr3T2cSF3GkGvsQ20jVhASs0muWliiKm6dPV7jL7+4+/fkYOXoY/lAkareBW9G9mC4y0MP9GS5EMp+dMx6dOLkcdmcffvBRwh5QsN+k+ok0w0oS+ipzrN/F0zuxxmG7laYZAMxFuRofgb4KLUP0cH51AIE7mH7NDMiRiTlyAl05GRJthpBm1kG6L5MkUsU/RYkSdGwIavW+tWZmQxRMJkv299TIiKzIBd+JIUxTRzx+IkhJKRbxaOd89Q4QbPNkIaozM+0bFs6T+nkqBSZ4uC5T6eV26KjJA41a4GZFX+9mK0PQ5HzNxGZ4tjKpRyCPrcoQ4jjt8oHxHmhd+CfSzvAQLPIWcmpVXqf+HnPzNKJJZvg61tFiEQzgxLl7yFC0Gr0lBaYzWhZOxW7KNhQlUjNPs4awozqDdEEsjgkJlRi8eS4F83FgQc0NzcN8lzi71dCRwMmhSW1wYGVOmADSSQOHvo+R/lNLCIWoYTVqJNiFIEVrZSg+jQuH01pecS1H0AbJ5odtNreuawEfngkBvPb4Miji3akKJYke2MEkpe3H/wYdCWEgxatzNMwkBgdi9rn/J7zmCXAZVMmms13l2b72STvUQdC/9Y8o+oLG232u7e/nFoDmHTsdwiFo+NmOl+7ZirByCcOqY2Qf8lp27FZO9qL6tbv9tHa0AgaS2rq2rmrmzqtTq9s6Naxq5cyq1aoVKPuO//1Kmqk9iqrx9i2CUrqfRtfQu79B/My/3Qsbpj2akPl5qa7+XoW1gRNPpMQzQyyxi2GyyV58yganB/DhhTECKY/KVWlDUevjvci9eQh4rQicKcFKxtctPXY0keHzoGJKuUS0arszw+T0puywsJjjbXbWoxGBfe9kxFvWSGMVB7Zmp5OJIpT4wUpzFY+fLZLySQn58SuAHLJrF2qV/CLyswWCHVYK+opKNqCaPYIm6sgo2rB4YEcB340b8VX5JAfCduGE/tV8KqPbwsAdQtJeHJuzLog2pX9ShA/EUyvdVlLhwT3cIgoARwu1t3oX17Su6mW5uHoyTrMtF6xIv/xdN9wzY/h7zfIXVNJGXAXcIQOCIpVJfnh/PylNFcV1WSw5x1rE3strpbIEi2YVUYmk1gh+fwPNXSj03YqPePku8sCM+vkeANodKhSAZs3qatOpgRNC9A1K/BKLg2H9/YHDz4LDFg4NLESdpQd24uyDQYoAYpu1Be5gxPNXzr7PnX9c3y9NuyeiNExYHXZ1j7LHYLye3HLY4sKUvTnw9gvzmyAvw8tWn7YW/kXL+Hvi8n3wIfDWPLKwmJCxmFB2oSyD48qU9FjHhAkKyuvHxq/B0DTTT5x63kW3qtSD1meEX/SlcZUwv6HTEywQ3Ex6xUDPS9sSrlM97Ty0u/fqeFto8ooHUZWY6AjoCKIz2DuIxSMKVnRsCZ9bg/E4tqmMIxjvB7xpfmFo9ruElS1EMxTs+3w6GOT44mLR572C2wX5iYT9YM8yJA3WzzGoVNI2TEHYf1OySxsY/CvvYTCzLHZFAtWO6ssUyqHgfRCqZYuvejkW1ZVs42qJYt7bJtRzoXUtFG/WrNkvSfLMsMse8S+TldnlwbzGWOcMzyZIM+2TqN33SRE3SjLPccUJt15tnjrkWGOPAE4hD5Eh7mM1tGhFvaK2Ftiy2a5idNCUPachBmV2zN3zZjxRONafufDsjIU9kx9UGkdQutGVTQ/slVSvJkpNVqzkDAAA=); + src: url(data:font/woff2;base64,d09GMgABAAAAAA0UAA8AAAAAGnwAAAy5AAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbhxwcgX4GYD9TVEFURACBHBEICp80mFYLWgABNgIkA4EwBCAFhCQHIBvBFaOinJDSIvurBB4MUR/dEKhqw7aFGgn89aEJq5hmI45f1Nsr8B2q5sc1iHAc/H+N/c59K98Nt+TeSIRMokSGEqE0UrXMdG07PG2rf2OdS44MzJArJRY2ZQNGUqGNGVgbpbvt3U+jtkq3I1zvWoJsyWb3m3xHcz2+CUfQ3dYqwZ7Gd4fxoFEGY+HyXwCgEIYaUEGx/l9rvvbt5l8KClgyCANoK3S/EZfdozebLV3yATGAlzIJ+WXnC1UilDieVadSdKpl6yqs7mGbxoCaYW2DJddgQXz+22/7FQuBIgAwRgqkpA8ikLdAwXV9I9MMqCeTnTWAeutorgNUboA0LoBuzpx1wBMIiGeyrBkCx/KaG+zLpQyC7GSn32z5J7dpo9C1/3oE/mrM7/70B01BtPAO0riKWdhvceI1MHHrLpDGItrMdNZogjRe/4zObnytMb24az44T0d1Mb2bXGcxApQsuAyuzFKRMZXP68trJQKWaiPMEXJifyP1tEuB9MIo/4n5HkinAulsS9C3rF/07MQHQt6s+7V/tdZZ+8++yTV+bLoIxJskwuB3HooD6jvHZcasqKBIxAls4RUZbp6TF2Ro+soykKUMs13V4K0zKoKyBn0DQzMxnImmLcorgSzWseNGRhIOVZA2tzDu4/5iojuBRFkFJR10TJAWPC+P+rbOKQP5fF6OdG4Kl1gRn40N2t3O4AIc0rj2Hd6cr7Rh/D5P7+trQfC/p+gIRLf1xTXgL+fmOgFTJGQDptqZxUQP7NLZsZHEmL3Wj9W/8uDQUTIk68okCPWVAH7XUXyAFja5cbwNOGDRgYki0suTAp/rGuUOe3KxA9y43dE+dvA5LSzsL2NfEjiCa3Lz/X8p/JrEYwB6lWr9m0cBxjQXKj4XmjZMhT1eVDRDAH5L54cgfRmo0GK8CKowdfoGQEk4dQYRgB/lIxgBc1U2hi+cTKwkeiZWDqUqNZhcxxHNHEos4xarUMN5oYNY33vjowO22WKz1VZZcU7/8gTQOHXcCLGEyR2snCP0EFcBbANsAguNiDTbo2yGTJEzQHdlPdkogJ3XbGOCaoU3Q+7vTRILSQQSM1JIIT0COBFBQkagHztUxA30hWmTiX58ApnEfV/8omHIvX0ET+xcD8o6HAF40pLYB995M/sGDhe2ch5DbkPttw7tWHTrVkDPwODIWtrem9usa1armQW13z55oAGx3f19q1ah+0Chi24cAeWqxXJTXaVM5VC3INf2EXznepDWJseSmg0zqwYG17JqRiWuejAyZHU/vaJvnWUpW9dZIB60GwdAuRrb7PJxCGo/9lyk6Foz8MIKbH+hVTdBWhduNQxB+KEjeRn6kEjo6jl8quTMgRug2OLTgb2rY/zUdVKc+Xm40sg2lWaMZTesnbfrzGrCXkqUtK/ebK4siCgUiEsGT1W57d9zowF55bZtu3bZru3XwB7GxIqrGk3yNaI+kmIZN9OtgKP4zl6stxvQvYVdqyA2ZgHr5+XkOubEJb20MWjZkhqQ96BTUyRWrxBzJUDF3b/FxwPrbJKKK+DCbL3rGf3rhMJGY5Wri+oZGOwdUHB56D6Z9RRn0r/v4FzdBVAOSje8ZD4I114S32heLZeDw4Em6r0WP6SP2rUjaeDRq25I62axZfhBNht1pYwsXM44zO6n2okW6V5LRhyEFOfFy9UNsGzAmsYImgVn660xf7oZsnQfxl+DWvHmrlWApcirIbdvlWNRpW2gtTljTOIr2sQdb+5aM6zmxTL2A7cac5EnRlyX51PDPcxTyo8xQ9ObtVzK+SpudAyX1grGywYb3HBBZfZFi16+4+eN1kfOqDtHNq9c567bsMzijLoapKi7G7jgJKzCVQz77B1CCRzZ9Dy7FbcwDaIVwKLQp1wq67lmF2O+wcO5Ljtyg1mHTTh0iANg1sGcRcOodWCxsKhbXPe8FrSwrVvIpblzVj2f3k/Pu+63AVFTkAQk9W0EEuFZ4dtlo6khRHbHBR0e6CSsEpuPfnJOqS8tM47jPPIRq0DLd2i1yYmJWvOj2gGihdhIGs7LM+tToaa7j0pYsXZjvCRwSzKxkpaH5OZoQnwyk+T5nKi4Gt6WPZNSyO1vp5ro4RHp3gtEwU0qYgW1mFpoTQsWpiVIHGxQ65lcJUxJFdakzqS3olgrfVq1o6KgwFFRPY0H9E85s0DZPkMFcjxo/5tNqnJW1cE0VSNkFQBro4EK69Id5KqmDvBcuN5XnBAgy5vJrAmJCtLYieHevo5QUddE/6bo0UhekpfxlfmYx+obO60Ukcrk529We2I2GrUcS5nQvFPJBizp1XGRTm0UNydWaecpBBqa51pz0ifH6UYd3Wd+DaIMtOgK0+hx7aeNnySla37NoAEXT2VhjNSp0Uoa3AenUuUpf+B5WBmKtmJOrA2ltWE5y1/nqwJTxEp/vi7arslRByr9BNb/QG0u8KdriIlt0GTGNFbFJ4VpudPZdgXMpVij4omSiamrxaEJYoFe6pFtyTFw1eQXb2b9I+m945FNBy0etDbMibXS0FaMQ0zNj4yNzgjwsag8sHIUbcMgFUuuzNQmfAgBLW60ydi/6ZNo6CT6v7FKNJf1gc58x+KcY9IvJESApzI0dvNYlif/LFnhN+FK4bLFNMSNPwsGbcWRvkdGK8Msy0Xm6Oi4jKjzJDQ3Pk6eHCAwqz2wNhrahrko90si1dqkd3okPHtworLPuElj8J+D+qSY1MrYyEZNFDc3VmXlyzjSQPM2LG3IFi37aG2optynLsNylo/lqdSqghhpg1YjcXYKqJr8hbat+T1QLU0AYsIHjdVGzFL9PTS4P22xatcvoa4uMhWs8khOiX+HlYMvgrKpk9fMET5W7ypN9RLK23hsbXku5WGcMiIoVG0TRIq16NiuksSHxlPHj0yUVfKZkDyXoiSqYiSJVVpAEa31F+mixpSUcNgrjKKsxVpRtAyrnYyEecHhyORP8ttSpAc36yJCmnd8eysYkxaB3clHUqRHHFMWk65Tf3y+r30hYrQcsx2JtMcAyAPZ3r2+szDaQfWKnz3UwV7W0aRDvHjRM4d/nnscPGmqbS1dPxflFFCOVzJ/Jr2z3VHoRWlQLWzHLlnF+XDUMnGBKLDkOIIcb/7X/GBy3s3bgdGdbCAe2XAraPnpKxwV7FU9tHATF1UNVcOwKm66ZSf9Rq4/5qh/RNc+7//tG6wBe/bBSnF9Qr/owG4tYKmr4L78mdylBYGmzNi3uU2xtM5gmDp919YWxfJak0Gr1yz83/8y5xlcmKc+3kYwiFgoiAmZ4RP637w7HbBtweuFWW+GiWQD1dRMTUCQRCrooJdRCbv333tHDcwKjkqOSQzIZGbcbQRlk8/8u1oQmVokjjDHBrD0MtOGy/dYqQrPO9HT3GKI7a/NFXWmF1SFJQYXcPVrK6zkxjvMJEwQb4sLmpqXhSuX6CyBkrj8SFmxWh1ZURqVkhn4Q5ggFl8zfwT6/wbg2y3VUlMrQ/VzBoRp5qoaGc3QMxBNe5Y84K/3Sw+gPU3u9zP4ZYJ6Ho8M4AKeMez3tTuzfjeE9qTg8W/q8MnhfC4Mw8AGq8iE+F4WNE3dOJPu7c2jXhLfKduedud/EX7AgVEh/7OwoRU3wuPCAHa20e1VF6eIi/RSBWdL/Gn5dtku8VREFq3N4HhWNG5D2ympkf46JX+XcNBHtF4gPCvyPQsaP4n8UfKFiUsoufbHm3Rh5GM69PKCYezdsl6x+ZRhwc+MqfQBgOzp/XTGHgZzHYMxDOISBBAtPgCPgVFAM1QZU8bphOVhxB8z9oPZBjxGCoDj+mcb8ghu0JSbp6QFU/o8wYf0teXJvqhy33xcrICseQYE3AenHjGRCsaYH67uC4C3ydU3AfhcXi0d/0lMK/YwgMgACD/HcFMAPzn/gDnQUowKz3SWnH69sCqheZ8+d4FStpDEVeLMQAQdN4Y0H8Uwt486gkqaPBlxdoZCstOilt7oc0FRVv9aSkp60G0yCZJCULrTTbsIRJwkflhsTMMladTHmVfh06JnsO+ZuJ8pDEjng8CSXO7uudVFI2cqeOKozQHP/h+jZM2ZUabsdZRzqnVtLx4V9OWOjFYEtxMUTWAipU2Cksdx832BW/VqOdTRKFWiUotaaZo51KhUzKZUpXIVmmm1qFOpWb0kkzRzcsgUrRuUwbhWpZyavrZeHa4IwWRChZOpo2npaCWtzoyJEcsx1ojXdaptmGvNysUESNcGkzlFBwoXKowElzkEpU4Zoh7Yul6VUsUWqgTYDBL1Nczl8ssiu1kDlx0l5CzK1cIrtCgSrLidWQzW09blapQqaxdsBmOIaxZUy5+r0+LSloYA); } - Vanilla Utreexo state021Stump Utreexo state01leaves = 6 \ No newline at end of file + 2Vanilla Utreexo state021101Stump Utreexo state01leaves = 6"Placeholder" rootwhich does not exist"Empty" root whose childrenare empty nodes too \ No newline at end of file diff --git a/docs/utreexo.md b/docs/utreexo.md index 6a5da364..0f0d4d8f 100644 --- a/docs/utreexo.md +++ b/docs/utreexo.md @@ -10,6 +10,9 @@ However the accumulator scheme proposed in the paper doesn't perform well in the Check out our community call where the Utreexo accumulator is explained: https://www.youtube.com/watch?v=jq6cx6LowkA&pp=ygUYc2hpbmlnYW1pIGNvbW11bml0eSBjYWxs +> [!TIP] +> Make sure you are familiar enough with the original Utreexo design before moving on to the next sections, as they are mostly focused on the differences between two schemes. + ## Pollard The key distinction between the original and new designs is that deleted leaves are not actually removed from the forest but made "empty" instead, moreover, their remaining siblings are "promoted" to the parent node (i.e. moving upwards). The full discussion about new accumulator design: https://github.com/mit-dci/utreexo/discussions/249 @@ -55,7 +58,7 @@ Also it's worth noting that before "null" was indicating a missing roots whereas ## Batch proof -Batch inclusion proofs were introduced in the Utreexo paper (see Appendix) and they can reduce the total size of proof(s) significantly. But the batch delete algorithm was pretty complex and IO intensive. The pollard scheme streamlined batch deletions and made batch proofs more practical. +Batch inclusion proofs were introduced in the Utreexo paper (see Appendix) and they can reduce the total size of proof(s) significantly But the batch delete algorithm was pretty complex and IO intensive. The pollard scheme streamlined batch deletions and made batch proofs more practical. Pollar batch proof contains all the intermediate nodes that cannot be computed and which are required to eventually calculate the roots (going row by row, left to right, bottom top).