._main_1lvsn_1{--ink:#070b13;--panel:#0a101b;--line:#89add233;--ice:#9de7ff;--blue:#5794ff;--acid:#c8ff6a;color:#eaf7ff;background:radial-gradient(circle at 72% 8%,#3e75d12e,#0000 28%),linear-gradient(135deg,#050810,#090f19 55%,#060a10);min-height:100vh;font-family:Arial,sans-serif}._top_1lvsn_1{border-bottom:1px solid var(--line);z-index:3;background:#05080fdb;grid-template-columns:1fr auto auto auto;align-items:center;gap:25px;height:76px;padding:0 28px;display:grid;position:relative}._brand_1lvsn_1{color:#fff;align-items:center;gap:13px;font-size:15px;text-decoration:none;display:flex}._brand_1lvsn_1 b{color:var(--ice)}._mark_1lvsn_1{place-items:center;width:34px;height:34px;display:grid;position:relative}._mark_1lvsn_1 i{border:1px solid #9de7ff73;position:absolute;inset:1px;transform:rotate(45deg)}._mark_1lvsn_1 i:nth-child(2){border-color:var(--blue);inset:7px;transform:rotate(22.5deg)}._mark_1lvsn_1 i:nth-child(3){border-color:var(--acid);inset:13px;transform:rotate(0)}._mark_1lvsn_1 b{color:#e9fbff;font:700 10px/1 ui-monospace,monospace;position:relative}._status_1lvsn_1{letter-spacing:.11em;align-items:center;gap:8px;font:650 7px/1 ui-monospace,monospace;display:flex}._status_1lvsn_1 i{background:#68737e;border-radius:50%;width:6px;height:6px}._status_1lvsn_1 i._online_1lvsn_1{background:var(--acid);box-shadow:0 0 12px var(--acid)}._status_1lvsn_1 b{color:var(--acid)}._link_1lvsn_1{color:#9db0c5;letter-spacing:.1em;font:650 7px/1 ui-monospace,monospace;text-decoration:none}._hero_1lvsn_1{border-bottom:1px solid var(--line);grid-template-columns:minmax(500px,1fr) 320px;align-items:end;gap:36px;min-height:570px;padding:95px 5vw 58px;display:grid;position:relative;overflow:hidden}._copy_1lvsn_1{z-index:2;position:relative}._copy_1lvsn_1>span,._hero_1lvsn_1 aside span,._metrics_1lvsn_1 span,._compiler_1lvsn_1 header span,._output_1lvsn_1 header span,._statement_1lvsn_1 span,._digest_1lvsn_1 span,._fields_1lvsn_1 span,._identity_1lvsn_1 span,._receipt_1lvsn_1>span{color:#7c98b5;letter-spacing:.14em;font:650 7px/1 ui-monospace,monospace}._copy_1lvsn_1 h1{letter-spacing:-.08em;margin:25px 0 24px;font-size:clamp(62px,8.5vw,132px);line-height:.77}._copy_1lvsn_1 h1 em{color:#0000;-webkit-text-stroke:1px var(--ice);font-style:normal}._copy_1lvsn_1 p{color:#9db0c2;max-width:650px;margin:0;font-size:13px;line-height:1.8}._hero_1lvsn_1 aside{z-index:2;border:1px solid var(--line);background:#080e18c7;padding:25px;position:relative}._hero_1lvsn_1 aside b{color:var(--acid);margin:13px 0;font:700 12px/1 ui-monospace,monospace;display:block}._hero_1lvsn_1 aside p{color:#8ea3b6;margin:0;font-size:11px;line-height:1.7}._lattice_1lvsn_1{border:1px solid #5794ff33;place-items:center;width:430px;height:430px;animation:12s ease-in-out infinite _drift_1lvsn_1;display:grid;position:absolute;top:50px;right:9vw;transform:rotate(45deg)}._lattice_1lvsn_1:before,._lattice_1lvsn_1:after{content:"";border:1px dashed #9de7ff33;position:absolute;inset:55px}._lattice_1lvsn_1:after{border-style:solid;border-color:#c8ff6a2e;inset:130px}._lattice_1lvsn_1 ._mark_1lvsn_1{transform:rotate(-45deg)scale(2.6)}._lattice_1lvsn_1>i{--a:calc(var(--i)*36deg);border:1px solid var(--ice);width:7px;height:7px;transform:rotate(var(--a)) translateX(205px);border-radius:50%;position:absolute}._metrics_1lvsn_1{border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}._metrics_1lvsn_1 article{border-right:1px solid var(--line);min-height:104px;padding:27px}._metrics_1lvsn_1 article:last-child{border-right:0}._metrics_1lvsn_1 b{color:var(--acid);margin-top:14px;font:700 13px/1 ui-monospace,monospace;display:block}._cycle_1lvsn_1{border-bottom:1px solid var(--line);grid-template-columns:repeat(10,1fr);display:grid;overflow-x:auto}._cycle_1lvsn_1 div{border-right:1px solid var(--line);min-width:110px;padding:18px 13px;position:relative}._cycle_1lvsn_1 span{color:#637d97;font:650 6px/1 ui-monospace,monospace}._cycle_1lvsn_1 b{text-transform:uppercase;margin-top:9px;font:650 7px/1.2 ui-monospace,monospace;display:block}._cycle_1lvsn_1 i{color:var(--ice);font-size:8px;font-style:normal;position:absolute;top:27px;right:7px}._court_1lvsn_1{border-bottom:1px solid var(--line);grid-template-columns:minmax(430px,.84fr) minmax(620px,1.16fr);display:grid}._compiler_1lvsn_1,._output_1lvsn_1{padding:44px 4vw 62px}._compiler_1lvsn_1{border-right:1px solid var(--line);background:#070b12b8}._compiler_1lvsn_1>header,._output_1lvsn_1>header,._graph_1lvsn_1>header,._witnesses_1lvsn_1>header,._strategies_1lvsn_1>header,._binding_1lvsn_1>header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;padding-bottom:17px;display:flex}._compiler_1lvsn_1 header b,._output_1lvsn_1 header b,._graph_1lvsn_1 header b,._witnesses_1lvsn_1 header b,._strategies_1lvsn_1 header b,._binding_1lvsn_1 header b{color:var(--acid);letter-spacing:.1em;font:650 7px/1 ui-monospace,monospace}._compiler_1lvsn_1 h2{letter-spacing:-.06em;margin:48px 0 35px;font-size:54px;line-height:.9}._statement_1lvsn_1 textarea{resize:vertical;border:1px solid var(--line);color:#e8f5ff;background:#070d17;outline:0;width:100%;min-height:112px;margin-top:10px;padding:14px;line-height:1.55}._digest_1lvsn_1{margin-top:17px;display:block}._digest_1lvsn_1 input{border:1px solid var(--line);width:100%;color:var(--ice);background:#070d17;outline:0;margin-top:10px;padding:14px;font:600 8px/1.4 ui-monospace,monospace}._fields_1lvsn_1{grid-template-columns:1fr 1fr;gap:17px;margin-top:19px;display:grid}._fields_1lvsn_1 select{border:1px solid var(--line);color:#e8f5ff;background:#070d17;width:100%;height:45px;margin-top:9px;padding:0 12px}._fields_1lvsn_1 input[type=range]{width:100%;accent-color:var(--ice);margin-top:18px}._scenarios_1lvsn_1{grid-template-columns:repeat(5,1fr);gap:6px;margin-top:27px;display:grid}._scenarios_1lvsn_1 button{text-align:left;border:1px solid var(--line);color:#dcecf8;cursor:pointer;background:#070d17;min-height:94px;padding:11px}._scenarios_1lvsn_1 span{color:#607a93;font:650 6px/1 ui-monospace,monospace}._scenarios_1lvsn_1 b{margin-top:14px;font-size:8px;line-height:1.25;display:block}._scenarios_1lvsn_1 small{color:#607890;margin-top:8px;font:650 5px/1 ui-monospace,monospace;display:block}._scenarios_1lvsn_1 button._active_1lvsn_1{background:linear-gradient(135deg,#5794ff24,#c8ff6a08);border-color:#9de7ffa6}._scenarios_1lvsn_1 button._active_1lvsn_1 small{color:var(--acid)}._gates_1lvsn_1{border:1px solid var(--line);grid-template-columns:1fr 1fr;margin-top:27px;display:grid}._gates_1lvsn_1 div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:24px 1fr auto;align-items:center;min-height:39px;padding:0 11px;display:grid}._gates_1lvsn_1 div:nth-child(2n){border-right:0}._gates_1lvsn_1 div:nth-last-child(-n+2){border-bottom:0}._gates_1lvsn_1 span{color:#617a93;font:600 6px/1 ui-monospace,monospace}._gates_1lvsn_1 b{font:650 7px/1 ui-monospace,monospace}._gates_1lvsn_1 i{color:#4a5d71;font-style:normal}._gates_1lvsn_1 i._pass_1lvsn_1,._tests_1lvsn_1 i._pass_1lvsn_1{color:var(--acid)}._identity_1lvsn_1{border:1px solid var(--line);background:#070d17;justify-content:space-between;align-items:center;gap:15px;margin-top:27px;padding:16px;display:flex}._identity_1lvsn_1 b{margin-top:8px;font:650 9px/1 ui-monospace,monospace;display:block}._identity_1lvsn_1 small{color:#637a90;margin-top:7px;font:600 6px/1 ui-monospace,monospace;display:block}._identity_1lvsn_1 button{border:1px solid var(--ice);color:var(--ice);cursor:pointer;background:0 0;padding:12px;font:650 7px/1 ui-monospace,monospace}._attestation_1lvsn_1{color:#94a7b8;gap:11px;margin:21px 0;font-size:10px;line-height:1.6;display:flex}._attestation_1lvsn_1 input{accent-color:var(--ice)}._error_1lvsn_1{color:#ff9da7;border:1px solid #ff758273;padding:12px;font:650 8px/1.4 ui-monospace,monospace}._run_1lvsn_1{background:linear-gradient(90deg,var(--ice),var(--acid));color:#06101b;letter-spacing:.12em;cursor:pointer;border:0;justify-content:space-between;width:100%;padding:18px;font:750 8px/1 ui-monospace,monospace;display:flex}._run_1lvsn_1:disabled{color:#6d8293;cursor:not-allowed;background:#22303c}._output_1lvsn_1{background:#080d16c7}._empty_1lvsn_1{text-align:center;place-content:center;justify-items:center;min-height:650px;display:grid}._empty_1lvsn_1 ._mark_1lvsn_1{width:180px;height:180px;margin-bottom:42px}._empty_1lvsn_1 ._mark_1lvsn_1 i:nth-child(2){inset:30px}._empty_1lvsn_1 ._mark_1lvsn_1 i:nth-child(3){inset:67px}._empty_1lvsn_1 ._mark_1lvsn_1 b{font-size:36px}._empty_1lvsn_1 h2{letter-spacing:-.06em;margin:0;font-size:40px}._empty_1lvsn_1 p{color:#8297aa;max-width:480px;font-size:11px;line-height:1.7}._verdict_1lvsn_1{background:linear-gradient(135deg,#5794ff1a,#c8ff6a06);border:1px solid #9de7ff4d;grid-template-columns:1fr 170px;margin-top:27px;display:grid}._verdict_1lvsn_1>div{padding:25px}._verdict_1lvsn_1 span,._graph_1lvsn_1 header span,._witnesses_1lvsn_1 header span,._strategies_1lvsn_1 header span,._binding_1lvsn_1 header span,._proofs_1lvsn_1 span{color:#718aa2;letter-spacing:.1em;font:650 6px/1 ui-monospace,monospace}._verdict_1lvsn_1 h2{color:var(--ice);margin:13px 0 11px;font-size:27px;line-height:1}._verdict_1lvsn_1 p{color:#a9bac9;margin:0;font-size:10px;line-height:1.6}._verdict_1lvsn_1 strong{color:var(--acid);margin-top:16px;font:650 7px/1.4 ui-monospace,monospace;display:block}._verdict_1lvsn_1 aside{border-left:1px solid var(--line);text-align:center;padding:20px}._verdict_1lvsn_1 aside span{display:block}._verdict_1lvsn_1 aside b{margin:14px 0 8px;font-size:28px;display:block}._verdict_1lvsn_1 aside small{color:#70869a;font:650 6px/1 ui-monospace,monospace}._graph_1lvsn_1,._witnesses_1lvsn_1,._strategies_1lvsn_1,._binding_1lvsn_1{border:1px solid var(--line);margin-top:18px}._graph_1lvsn_1>header,._witnesses_1lvsn_1>header,._strategies_1lvsn_1>header,._binding_1lvsn_1>header{padding:14px}._graph_1lvsn_1 article{border-bottom:1px solid var(--line);grid-template-columns:34px 1fr 155px;gap:12px;padding:14px;display:grid}._graph_1lvsn_1 article:last-child,._witnesses_1lvsn_1 article:last-child,._strategies_1lvsn_1 article:last-child{border-bottom:0}._graph_1lvsn_1 article>span,._witnesses_1lvsn_1 article>span,._strategies_1lvsn_1 article>span{color:#6b8299;font:650 7px/1 ui-monospace,monospace}._graph_1lvsn_1 article b,._witnesses_1lvsn_1 article b,._strategies_1lvsn_1 article b{font:650 8px/1 ui-monospace,monospace}._graph_1lvsn_1 article p{color:#8296a8;margin:7px 0 0;font-size:9px;line-height:1.45}._graph_1lvsn_1 article strong,._witnesses_1lvsn_1 article strong,._strategies_1lvsn_1 article strong{color:var(--acid);text-align:right;font:650 6px/1.3 ui-monospace,monospace}._witnesses_1lvsn_1 article,._strategies_1lvsn_1 article{border-bottom:1px solid var(--line);grid-template-columns:34px 1fr auto;align-items:center;gap:12px;min-height:59px;padding:11px 14px;display:grid}._witnesses_1lvsn_1 small,._strategies_1lvsn_1 small{color:#698098;margin-top:7px;font:600 6px/1.3 ui-monospace,monospace;display:block}._strategies_1lvsn_1 article._selected_1lvsn_1{box-shadow:inset 2px 0 var(--acid);background:#c8ff6a09}._tests_1lvsn_1{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-top:18px;display:grid}._tests_1lvsn_1 div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:80px;padding:13px}._tests_1lvsn_1 span{color:#71879b;font:650 6px/1.3 ui-monospace,monospace;display:block}._tests_1lvsn_1 b{margin-top:9px;font-size:18px;display:block}._tests_1lvsn_1 i{color:#71879b;margin-top:7px;font:650 5px/1.3 ui-monospace,monospace;display:block}._binding_1lvsn_1>div{grid-template-columns:repeat(7,1fr);display:grid}._binding_1lvsn_1 article{border-right:1px solid var(--line);padding:13px}._binding_1lvsn_1 article:last-child{border-right:0}._binding_1lvsn_1 span{color:#71889e;text-transform:uppercase;font:650 5px/1 ui-monospace,monospace}._binding_1lvsn_1 b{margin-top:8px;font:650 7px/1 ui-monospace,monospace;display:block}._binding_1lvsn_1 small{color:#62788d;margin-top:7px;font:600 5px/1 ui-monospace,monospace;display:block}._proofs_1lvsn_1{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:1fr 1fr;margin-top:18px;display:grid}._proofs_1lvsn_1 div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:13px}._proofs_1lvsn_1 b,._receipt_1lvsn_1>b{color:#a2b4c3;overflow-wrap:anywhere;margin-top:8px;font:600 7px/1.4 ui-monospace,monospace;display:block}._receipt_1lvsn_1{border:1px solid var(--line);background:#060b13;margin-top:18px;padding:14px}._receipt_1lvsn_1 footer{border-top:1px solid var(--line);color:#6d8296;justify-content:space-between;margin:13px -14px -14px;padding:13px;font:600 6px/1 ui-monospace,monospace;display:flex}._receipt_1lvsn_1 footer strong{color:var(--acid)}._footer_1lvsn_1{color:#6b8195;letter-spacing:.09em;grid-template-columns:1fr auto 1fr;gap:20px;padding:24px 28px;font:650 7px/1.3 ui-monospace,monospace;display:grid}._footer_1lvsn_1 b{color:#9db1c3}._footer_1lvsn_1 span:last-child{text-align:right}@keyframes _drift_1lvsn_1{50%{transform:rotate(48deg)scale(.96)}}@media (width<=1160px){._court_1lvsn_1{grid-template-columns:1fr}._compiler_1lvsn_1{border-right:0;border-bottom:1px solid var(--line)}._hero_1lvsn_1{grid-template-columns:1fr;padding-top:150px}._lattice_1lvsn_1{right:-100px}._binding_1lvsn_1>div{grid-template-columns:repeat(4,1fr)}}@media (width<=760px){._top_1lvsn_1{grid-template-columns:1fr auto;height:64px;padding:0 15px}._status_1lvsn_1,._top_1lvsn_1 ._link_1lvsn_1:first-of-type{display:none}._hero_1lvsn_1{min-height:760px;padding:165px 20px 45px}._copy_1lvsn_1 h1{font-size:54px}._lattice_1lvsn_1{width:280px;height:280px;top:15px;right:-110px}._lattice_1lvsn_1>i{transform:rotate(var(--a)) translateX(132px)}._metrics_1lvsn_1{grid-template-columns:1fr}._metrics_1lvsn_1 article{border-right:0;border-bottom:1px solid var(--line)}._compiler_1lvsn_1,._output_1lvsn_1{padding:34px 19px 48px}._fields_1lvsn_1,._scenarios_1lvsn_1,._gates_1lvsn_1{grid-template-columns:1fr}._gates_1lvsn_1 div{border-right:0}._identity_1lvsn_1{flex-direction:column;align-items:flex-start}._verdict_1lvsn_1{grid-template-columns:1fr}._verdict_1lvsn_1 aside{border-left:0;border-top:1px solid var(--line)}._graph_1lvsn_1 article{grid-template-columns:31px 1fr}._graph_1lvsn_1 article strong{text-align:left;grid-column:2}._tests_1lvsn_1{grid-template-columns:1fr 1fr}._binding_1lvsn_1>div,._proofs_1lvsn_1{grid-template-columns:1fr}._binding_1lvsn_1 article{border-right:0;border-bottom:1px solid var(--line)}._footer_1lvsn_1{grid-template-columns:1fr}._footer_1lvsn_1 span:last-child{text-align:left}}