specs/assets/fault-proof.svg

<?xml version="1.0" encoding="UTF-8"?>
<!-- Do not edit this file with editors other than diagrams.net -->
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" style="background-color: rgb(255, 255, 255);" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="3562px" height="3884px" viewBox="-0.5 -0.5 3562 3884" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2023-04-11T15:13:26.154Z&quot; agent=&quot;Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/111.0&quot; etag=&quot;vDBsOIw1GRsWubY4oKHH&quot; version=&quot;21.1.5&quot; type=&quot;google&quot;&gt;&lt;diagram name=&quot;Page-1&quot; id=&quot;5oXVfdM0MUB0GZk8333n&quot;&gt;7RzZdto49Gt4JMeWN3hMk7SZTjPNmcx0eZqj2ALUGIuRBYF+/Uhe8CIBDhjLnGkfGutaluW7b2Jg3czXHyhczB5IgMIBMIL1wLodAGCZJuB/BGSTQoBlj1PIlOIghZkF4An/RBnQyKBLHKC4MpEREjK8qAJ9EkXIZxUYpJS8VqdNSFh96wJOkQR48mEoQ7/igM1S6MgxCvg9wtNZ/mbTyO7MYT45A8QzGJDXEsi6G1g3lBCWXs3XNygU2Mvxkj73fsfd7cYoiliTBzYPhvPxr28/Pnw1//YWj6sFs8jQSVdZwXCZfXC2WbbJMcD3vRCXkxCtrwVGB9Y7FAXZ5a0fwjjGPgfO2DzkAJNfUrKMAiRebPDRBIfhDQkJTRa0AohGE/FAzCh5QaU7rj9CzxN+J90ECiTaFB9rblHImQ+ROWJ0w6e8FkTKaTQr0SeHURRChlfV5WHGK9Ptcts3PBLMXwyMjLGHlpstlPG1l4/zNWKypD7KHitTpbaSbR9YiEE6RUxaiF+UvrsAJURXM8Aqurv/GGPvZ3jzOVjNv3n/LO+G+beXCC7Q/pQNCWUzMiURDO8KaI28xZxPhCwyDviBGNtk4gyXjFT5A60x+yYevwJONvyerSaub9flwSYfRPxT06c8Jx9/z1cUg+K5ZJQ/uIN5+EcnRNqDnVzjJDTYN2+k5FiZPd/Gd1zG4KY0YSG4IN7HllVmcsfGXuYbmmDvA/wi3UKrLOfIOqZTlvOOYjnQM5az2+a4imZ5sxpxfqmRPdhpSFPQOlGPUiOmU9UKwD2gRry988+jRWw9HHcs8/hLukpefLQu6oD9zmPFDvPXqJnz1JrPIzm9n8T4M4U+55I6V1V55nWGGXpawAThrzzoqfLHTiKtEGVovRer+V2wAzsl13Y7p+zb1j3H1pS7rdlH7LVutxoKl9Mre22pReAumuKIi4Bx/fibfkGoqQnHUAiC0aUgWONL9HK68lzti5SEPP6+rGikZyS1+kXSffY9V3GalduoFnirdJvbpW4zrQs08h2JgdNQDECvxMC0L9FadeW3NaWpafaKqHLCPlVr76D/goJP4GYGcdQ37WZr126u2iQsKBriuSgBATfke3j3TPnVVFxNEPNniJ6GygDGs23U34ZLbFYROzQ9lU88ElLUoekwJew+JFwoqnITPF1SLhgkGljXApQyqAGjQAgNCcPlYjsz1s65Q1dj9K0s0Zlufwyz2VSLV5S40UiJH672NcmeK9S6EqueVsssa/FHijJFZPz+hf/3xAjV76UOzZo4DIHuZJSn2U/tefVopM2tOa5iWc92Wt6BWoO1d/55ag3eRXrSlmVWtPDVeDw6wHjJ6BFRzDGGaHfcCNx+cCMwatxld8BdOZbKzqlZ5CvY7CbEKKuEaDUGwNaYtFBacc224Ci5rMqk08gUtOIbAdBUGu2OnCO1vzv6vxj4bqma4lVbgwiQlNyCB39kKkbXcvgd4HixZCgPFOu3EwUZEvIigkftenFc6+GztMeMmiu2x8nQMam/dmRIUefoX9QI5LrGY5G/2rYv1EWlL95DPZTcjrWFksDTKyW9jiRzl/xSmta4fXtj15pp7X3gTG1rmrN5XXg3lV63LjiwJ93XUl/bgVxGvW2yi1QGUFRCimBTv5Wox5j6u9+cSyyMd1VFtZtGH/1qV8+3XZICtMC7oxGyZDwaEdsTx7WSalXM6NJPylrSbP4XzoVspP+L+SHEc/F3hvwX7UJWryIq4xW7UxmTU2A5WgO8qmDL/XdJkvosidgwTsRHlBXN0WKdoj67XyJGSp4c8EjJlEJBjdwzTifwjW/nlJiAg5MtVFc7dVfD5GnIUIjiWMlBZ355RITUormovSJKCY07eieKVpiSaJ5g3oC+r0SAmE6irFZc3GyBD+qfV5NFLkKsKnDVU4oRiYR+Lx9pzEAwxNOID0M0ESsIccQ+DK8zMBOKXynctcOS/Hsyq2CO2pH3en5CFXkBlU0164357Qn8WIfA35NYMJ3YOjC+PFSl/FlaoENxTHTBZBk2eFPxUKl7hS+Q1IsNYY+MAMcvO2RqMpGEqh/yMcdBkLhOvRCRocIkAkslIs65RMSVbSJaI3+Z+hwGowJDh8mTo93nyBElvd2Ip4gzK3xOlhJozuIdvq7zbuDcirW4mxpniH8D5RN6ZXs0q/QDVkv088CVU3VqVMWpsYKCdgsEVCdhFSquHkgU5+gzXFU6xnaeqE8xn/8ggSXRYgCs9+8N/m+L3T6fpa+1AJh1ijQ+Sz86sFB7Z+nVBL/ESPFNgaKin7GdBLyiUUCJYldn1AhkjVxOwN/jIpgo7OpXitmpbaQtKEj7sAvYbVpF1o4BongFM/MWCvbXjbRho0h5dCa0qXWM5laki9Axu1VHAxVjGmqe6Kb7QU7PHlYxfyIYnKFTXZKTRk6DWt/or4grnC9trUKN26hBB33UuwvdvW8V8vYKy66C+BOiq3Ys8kkSIhXEuzTJSnTuTsIqciniV9jixhmUeroiOV2Do6l6Js0wlXgCydRBkaXsKiHxTBgj8xMSEidxh5SQ2CYayuxRRL1lBhk5Z2IQOWmX1A41nKI6UfKKA1L7DlKNz3eOSm2j+vQjSg1tVK3F/FA767mcu9xPP9wF6eg0WOAiDxK4hl1x4K8M45ATrzxI0CXxd+svbbTXLN3Hdf7YjlujPTjqEIl2we8qc7R3lzs81VmaxuTEPjlV1IWtzP2LSm3EU3ki4FyeCJARKkvXr+S6nFwftpVclxY6c3Jd0bj2BxmKJKHxOkPRoNQvkBV4KYIBicKNxBh9q2Hag2qNDLQgt6ZRFVpVG52qGnZExZ8Pi1+xTsld/Bi4dfcf&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g><path d="M 22 3760 L 22 3720 L 3142 3720 L 3142 3678 L 3218 3740 L 3142 3802 L 3142 3760 Z" fill="#dae8fc" stroke="#6c8ebf" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 1200 3620 L 1340 3620 L 1340 3460 L 980 3460 L 980 3365.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 980 3344.47 L 994 3372.47 L 980 3365.47 L 966 3372.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 1560 3620 L 1560 3480 L 1940 3480 L 1940 3365.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1940 3344.47 L 1954 3372.47 L 1940 3365.47 L 1926 3372.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 2060 1820 L 2060 1740 L 1180 1740 L 1180 1605.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1180 1584.47 L 1194 1612.47 L 1180 1605.47 L 1166 1612.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 2300 1820 Q 2300 1700 2140 1700 Q 1980 1700 1980 1605.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1980 1584.47 L 1994 1612.47 L 1980 1605.47 L 1966 1612.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1940" y="1820" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 485px; margin-left: 486px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L2 Oracle</div></div></div></foreignObject><text x="545" y="489" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L2 Oracle</text></switch></g><path d="M 2260 2700 L 2260 2565.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 2260 2544.47 L 2274 2572.47 L 2260 2565.47 L 2246 2572.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="2060" y="2700" width="400" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 98px; height: 1px; padding-top: 705px; margin-left: 516px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L2 Engine API</div></div></div></foreignObject><text x="565" y="709" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L2 Engine API</text></switch></g><path d="M 1940 3100 L 1940 2565.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1940 2544.47 L 1954 2572.47 L 1940 2565.47 L 1926 2572.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 2260 3100 L 2260 2965.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 2260 2944.47 L 2274 2972.47 L 2260 2965.47 L 2246 2972.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1780" y="3100" width="640" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 158px; height: 1px; padding-top: 805px; margin-left: 446px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L2 OracleEngine</div></div></div></foreignObject><text x="525" y="809" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L2 OracleEngine</text></switch></g><path d="M 2100 2300 L 2100 2180 L 2180 2180 L 2180 2085.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 2180 2064.47 L 2194 2092.47 L 2180 2085.47 L 2166 2092.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 1940 2300 L 1940 2180 L 1580 2180 L 1580 2085.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1580 2064.47 L 1594 2092.47 L 1580 2085.47 L 1566 2092.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1780" y="2300" width="640" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 158px; height: 1px; padding-top: 605px; margin-left: 446px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">OracleBackedL2Chain</div></div></div></foreignObject><text x="525" y="609" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">OracleBackedL2Chain</text></switch></g><rect x="1900" y="20" width="435" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-dasharray="12 12" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 107px; height: 1px; padding-top: 35px; margin-left: 476px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L2 pre-image<br />fetcher</div></div></div></foreignObject><text x="529" y="39" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L2 pre-image...</text></switch></g><rect x="1220" y="1820" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 485px; margin-left: 306px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Main configuration: chain and rollup configs</div></div></div></foreignObject><text x="365" y="489" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Main configuration:...</text></switch></g><path d="M 1060 860 L 1060 914.53" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1060 935.53 L 1046 907.53 L 1060 914.53 L 1074 907.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="820" y="620" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 185px; margin-left: 206px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Preimage KV Store</div></div></div></foreignObject><text x="265" y="189" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Preimage KV Store</text></switch></g><path d="M 980 3100 L 980 2180 L 1340 2180 L 1340 2085.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1340 2064.47 L 1354 2092.47 L 1340 2085.47 L 1326 2092.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 660 3100 L 660 2085.14" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 660 2064.14 L 674 2092.14 L 660 2085.14 L 646 2092.14 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="500" y="3100" width="640" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 158px; height: 1px; padding-top: 805px; margin-left: 126px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L1 OracleEthClient</div></div></div></foreignObject><text x="205" y="809" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L1 OracleEthClient</text></switch></g><path d="M 420 3620 L 420 1460 L 794.53 1460" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 815.53 1460 L 787.53 1474 L 794.53 1460 L 787.53 1446 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 660 3620 L 660 3365.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 660 3344.47 L 674 3372.47 L 660 3365.47 L 646 3372.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="300" y="3620" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 935px; margin-left: 76px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">prologue:<br />dispute and<br />L1 lookup</div></div></div></foreignObject><text x="135" y="939" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">prologue:...</text></switch></g><path d="M 1180 1340 L 1180 1205.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1180 1184.47 L 1194 1212.47 L 1180 1205.47 L 1166 1212.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="820" y="1340" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 365px; margin-left: 206px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pre-image Oracle<br />Client</div></div></div></foreignObject><text x="265" y="369" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pre-image Oracle...</text></switch></g><path d="M 740 1820 L 740 1740 L 940 1740 L 940 1605.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 940 1584.47 L 954 1612.47 L 940 1605.47 L 926 1612.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 860 1820 Q 860 1780 1300 1780 Q 1740 1780 1740 1605.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1740 1584.47 L 1754 1612.47 L 1740 1605.47 L 1726 1612.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="500" y="1820" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 485px; margin-left: 126px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L1 Oracle</div></div></div></foreignObject><text x="185" y="489" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L1 Oracle</text></switch></g><path d="M 2180 3620 L 2180 3480 L 2260 3480 L 2260 3365.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 2260 3344.47 L 2274 3372.47 L 2260 3365.47 L 2246 3372.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1900" y="3620" width="560" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 138px; height: 1px; padding-top: 935px; margin-left: 476px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">epilogue:<br />output root construction<br />&amp; claim check</div></div></div></foreignObject><text x="545" y="939" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">epilogue:...</text></switch></g><rect x="2620" y="1340" width="880" height="720" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-start; justify-content: unsafe flex-start; width: 218px; height: 1px; padding-top: 342px; margin-left: 657px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div style="font-size: 18px;"><b>Program Client</b>:</div><div style="font-size: 18px;">- stateless<br /></div><div style="font-size: 18px;">- no temp errors</div><div style="font-size: 18px;">- no environment access<br />- onchain<br style="font-size: 18px;" /></div></div></div></div></foreignObject><text x="657" y="360" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px">Program Client:...</text></switch></g><rect x="2620" y="580" width="920" height="600" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 228px; height: 1px; padding-top: 220px; margin-left: 657px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div style="font-size: 18px;"><b>Program Host / VM:</b><br /></div><div style="font-size: 18px;">- stateful</div><div>- pre-image store on disk<br />- offchain<br /></div></div></div></div></foreignObject><text x="657" y="225" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px">Program Host / VM:...</text></switch></g><rect x="2550" y="3500" width="760" height="160" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 895px; margin-left: 733px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 23px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: nowrap;">execution trace</div></div></div></foreignObject><text x="733" y="902" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="23px" text-anchor="middle" font-weight="bold">execution trace</text></switch></g><path d="M 180 1260 L 3380 1260" fill="none" stroke="#ff0000" stroke-width="12" stroke-miterlimit="10" stroke-dasharray="36 36" pointer-events="stroke"/><path d="M 1860 1340 L 1860 1085.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" stroke-dasharray="12 12" pointer-events="stroke"/><path d="M 1860 1064.47 L 1874 1092.47 L 1860 1085.47 L 1846 1092.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1620" y="1340" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 365px; margin-left: 406px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pre-image Hint<br />Writer</div></div></div></foreignObject><text x="465" y="369" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pre-image Hint...</text></switch></g><rect x="1020" y="3620" width="720" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 178px; height: 1px; padding-top: 935px; margin-left: 256px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">derivation loop</div></div></div></foreignObject><text x="345" y="939" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">derivation loop</text></switch></g><path d="M 1860 820 L 1860 485.47" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" stroke-dasharray="12 12" pointer-events="stroke"/><path d="M 1860 464.47 L 1874 492.47 L 1860 485.47 L 1846 492.47 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1620" y="820" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-dasharray="12 12" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 235px; margin-left: 406px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pre-image Hint<br />Reader</div></div></div></foreignObject><text x="465" y="239" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pre-image Hint...</text></switch></g><path d="M 940 1180 L 940 1314.53" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 940 1335.53 L 926 1307.53 L 940 1314.53 L 954 1307.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="820" y="940" width="480" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 265px; margin-left: 206px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pre-image Oracle<br />Server</div></div></div></foreignObject><text x="265" y="269" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pre-image Oracle...</text></switch></g><rect x="2620" y="100" width="690" height="340" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-end; justify-content: unsafe flex-start; width: 171px; height: 1px; padding-top: 107px; margin-left: 657px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 18px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><b>Program tools:</b><br />- pre-image fetching<br />- retry on fetch errors</div></div></div></foreignObject><text x="657" y="107" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="18px">Program tools:...</text></switch></g><rect x="1385" y="20" width="395" height="240" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-dasharray="12 12" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 97px; height: 1px; padding-top: 35px; margin-left: 347px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">L1 pre-image<br />fetcher</div></div></div></foreignObject><text x="396" y="39" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">L1 pre-image...</text></switch></g><path d="M 1622.5 460 L 1622.33 740 L 1325.47 740" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" stroke-dasharray="12 12" pointer-events="stroke"/><path d="M 1304.47 740 L 1332.47 726 L 1325.47 740 L 1332.47 754 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 1622.5 360 L 1623.3 285.71" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" stroke-dasharray="12 12" pointer-events="stroke"/><path d="M 1623.53 264.71 L 1637.23 292.86 L 1623.3 285.71 L 1609.23 292.56 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><path d="M 2097.5 360 L 2098.13 292.19" fill="none" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" stroke-dasharray="12 12" pointer-events="stroke"/><path d="M 2098.32 271.19 L 2112.06 299.32 L 2098.13 292.19 L 2084.06 299.06 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/><rect x="1385" y="360" width="950" height="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="4" stroke-dasharray="12 12" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 236px; height: 1px; padding-top: 103px; margin-left: 347px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pre-image hint router</div></div></div></foreignObject><text x="465" y="106" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pre-image hint router</text></switch></g><path d="M 180 540 L 3380 540" fill="none" stroke="#ff0000" stroke-width="12" stroke-miterlimit="10" stroke-dasharray="36 36" pointer-events="stroke"/><rect x="1880" y="1020" width="760" height="320" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(4)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe flex-start; width: 188px; height: 1px; padding-top: 295px; margin-left: 472px;"><div style="box-sizing: border-box; font-size: 0px; text-align: left;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 14px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-style: italic; white-space: normal; overflow-wrap: normal;">No-op when onchain / readonly</div></div></div></foreignObject><text x="472" y="299" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="14px" font-style="italic">No-op when onchain / readon...</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg>