1:"$Sreact.fragment"
2:"/_next/static/chunks/27gjg8e11zukd.js"
3:I[22016,["$2"],""]
4:I[39756,["$2"],"default"]
5:I[37457,["$2"],"default"]
:HL["/_next/static/chunks/2o4ecce28ubhf.css","style"]
9:X
d:X
d:C
e:[["children",{"s":"__PAGE__","h":160,"d":{"r":"$Lf","p":"$@10","v":null,"s":"$9"}}]]
a:[["children",{"s":"provers","h":96,"d":{"r":"$Lb","p":"$@c","v":"$d","s":"$9"},"c":"$Qe"}]]
0:{"t":{"t":{"s":"","h":80,"d":{"r":["$","$1","c",{"children":[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/chunks/2o4ecce28ubhf.css","precedence":"next"}],["$","script","script-0",{"src":"/_next/static/chunks/27gjg8e11zukd.js","async":true}]],["$","html",null,{"lang":"en","className":"Ur3q_a_variable iaM1Ya_variable","children":["$","body",null,{"className":"flex min-h-dvh flex-col","children":[["$","div",null,{"className":"sticky top-0 z-20 border-b border-line bg-bg/85 backdrop-blur","children":["$","div",null,{"className":"container-page flex h-14 items-center justify-between gap-4","children":[["$","div",null,{"className":"flex items-center gap-8","children":[["$","$L3",null,{"href":"/","className":"flex items-center gap-2.5 font-semibold tracking-tight","aria-label":"Provera home","children":[["$","svg",null,{"width":"22","height":"22","viewBox":"0 0 22 22","fill":"none","aria-hidden":true,"children":[["$","rect",null,{"x":"0.75","y":"0.75","width":"20.5","height":"20.5","rx":"5.25","stroke":"currentColor","strokeWidth":"1.5"}],["$","path",null,{"d":"M6.5 11.4l3 3 6-6.8","stroke":"currentColor","strokeWidth":"1.7","strokeLinecap":"round","strokeLinejoin":"round"}]]}],"Provera"]}],["$","nav",null,{"className":"hidden items-center gap-6 text-sm text-muted sm:flex","children":[["$","$L3","/verify",{"href":"/verify","className":"transition-colors hover:text-fg","children":"Verify"}],["$","$L3","/docs",{"href":"/docs","className":"transition-colors hover:text-fg","children":"Docs"}],["$","$L3","/provers",{"href":"/provers","className":"transition-colors hover:text-fg","children":"Run a prover"}]]}]]}],["$","div",null,{"className":"flex items-center gap-2","children":[["$","$L3",null,{"href":"/verify","className":"btn h-8 px-3 text-muted hover:text-fg sm:hidden","children":"Verify"}],["$","$L3",null,{"href":"/docs#quick-start","className":"btn-secondary h-8","children":"Get started"}]]}]]}]}],["$","main",null,{"className":"flex-1","children":["$","$L4",null,{"parallelRouterKey":"children","template":["$","$L5",null,{}],"notFound":[[["$","title",null,{"children":"404: This page could not be found."}],["$","div",null,{"style":{"fontFamily":"system-ui,\"Segoe UI\",Roboto,Helvetica,Arial,sans-serif,\"Apple Color Emoji\",\"Segoe UI Emoji\"","height":"100vh","textAlign":"center","display":"flex","flexDirection":"column","alignItems":"center","justifyContent":"center"},"children":["$","div",null,{"children":[["$","style",null,{"dangerouslySetInnerHTML":{"__html":"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}"}}],["$","h1",null,{"className":"next-error-h1","style":{"display":"inline-block","margin":"0 20px 0 0","padding":"0 23px 0 0","fontSize":24,"fontWeight":500,"verticalAlign":"top","lineHeight":"49px"},"children":404}],["$","div",null,{"style":{"display":"inline-block"},"children":["$","h2",null,{"style":{"fontSize":14,"fontWeight":400,"lineHeight":"49px","margin":0},"children":"This page could not be found."}]}]]}]}]],[]]}]}],["$","footer",null,{"className":"mt-24 border-t border-line","children":["$","div",null,{"className":"container-page flex flex-col gap-6 py-10 text-sm text-muted sm:flex-row sm:items-start sm:justify-between","children":[["$","div",null,{"className":"max-w-md","children":[["$","$L3",null,{"href":"/","className":"flex items-center gap-2.5 font-semibold tracking-tight","aria-label":"Provera home","children":[["$","svg",null,{"width":"22","height":"22","viewBox":"0 0 22 22","fill":"none","aria-hidden":true,"children":[["$","rect",null,{"x":"0.75","y":"0.75","width":"20.5","height":"20.5","rx":"5.25","stroke":"currentColor","strokeWidth":"1.5"}],["$","path",null,{"d":"M6.5 11.4l3 3 6-6.8","stroke":"currentColor","strokeWidth":"1.7","strokeLinecap":"round","strokeLinejoin":"round"}]]}],"Provera"]}],["$","p",null,{"className":"mt-3","children":"Open-source software you run yourself. Not audited. There is no hosted Provera service."}]]}],["$","nav",null,{"className":"grid grid-cols-2 gap-x-12 gap-y-2","children":[["$","$L3",null,{"href":"/docs#quick-start","className":"hover:text-fg","children":"Quick start"}],["$","$L3",null,{"href":"/docs#security","className":"hover:text-fg","children":"Security assumptions"}],["$","$L3",null,{"href":"/docs#cli","className":"hover:text-fg","children":"Command-line tool"}],["$","$L3",null,{"href":"/docs#architecture","className":"hover:text-fg","children":"Architecture"}],"$L6","$L7"]}]]}]}]]}]}]]}],"p":"$@8","v":null,"s":"$9"},"c":"$Qa"},"h":{"r":"$L11","p":"$@12","v":null,"s":"$9"}},"a":"$@13","u":"$@14","b":"8KJl1csVP2SWNNGtY9yB2"}
1c:"ViewportBoundary"
1d:I[97367,["$2"],"$1c"]
1e:"MetadataBoundary"
1f:I[97367,["$2"],"$1e"]
20:"$Sreact.suspense"
21:I[27201,["$2"],"IconMark"]
6:["$","$L3",null,{"href":"/verify","className":"hover:text-fg","children":"Verify a receipt"}]
7:["$","$L3",null,{"href":"/provers","className":"hover:text-fg","children":"Run a prover"}]
b:["$","$1","c",{"children":[null,["$","$L4",null,{"parallelRouterKey":"children","template":["$","$L5",null,{}]}]]}]
f:["$","$1","c",{"children":[[["$","header",null,{"className":"border-b border-line","children":["$","div",null,{"className":"container-page py-12 sm:py-16","children":[["$","p",null,{"className":"eyebrow","children":"Run a prover"}],["$","h1",null,{"className":"mt-3 text-3xl font-semibold tracking-tight sm:text-4xl","children":"You are the prover"}],["$","div",null,{"className":"mt-4 max-w-2xl text-muted","children":"There is no Provera proving network to join or rely on. Each project generates its own proofs on its own hardware, which is also what keeps its data private."}]]}]}],["$","div",null,{"className":"container-page space-y-10 py-10","children":[["$","section",null,{"children":[["$","h2",null,{"className":"text-sm font-semibold","children":"What you need"}],["$","dl",null,{"className":"card mt-3","children":[["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"Operating system"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["x86-64 Linux",["$","p",null,{"className":"mt-1 text-xs text-faint","children":"On Windows, use WSL2. macOS on Apple silicon can prove but cannot produce the Groth16 wrap locally."}]]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"For STARK proving"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["Any modern CPU. An NVIDIA GPU with CUDA makes it roughly 30 times faster.","$undefined"]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"For the Groth16 wrap"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["Docker, and about 2 GB of free memory",["$","p",null,{"className":"mt-1 text-xs text-faint","children":"Only needed to register a proof on Solana."}]]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"For on-chain registration"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["A Solana wallet with a little SOL for the fee and the receipt’s rent","$undefined"]}]]}]]}]]}],["$","section",null,{"children":[["$","h2",null,{"className":"text-sm font-semibold","children":"Measured on one machine"}],["$","p",null,{"className":"mt-1 text-sm text-muted","children":"An 8-core desktop CPU with one RTX 4070 SUPER, proving a 1,000-wallet distribution. Single runs, not benchmarks."}],["$","dl",null,{"className":"card mt-3","children":[["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"zkVM execution"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["3.5 million cycles in 4 segments","$undefined"]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"STARK proof, GPU"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["16 to 26 seconds","$undefined"]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"STARK proof, CPU only"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["about 12 minutes","$undefined"]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"Groth16 wrap, CPU"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["about 62 seconds","$undefined"]}]]}],["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":["$L15","$L16"]}],"$L17","$L18"]}]]}],"$L19","$L1a"]}]],null,"$L1b"]}]
11:["$","$1","h",{"children":[null,["$","$L1d",null,{"children":[["$","meta","0",{"charSet":"utf-8"}],["$","meta","1",{"name":"viewport","content":"width=device-width, initial-scale=1"}]]}],["$","$L1f",null,{"children":[["$","div",null,{"hidden":true,"children":["$","$20",null,{"name":"Next.Metadata","children":[["$","title","0",{"children":"Run a prover — Provera"}],["$","meta","1",{"name":"description","content":"Provera runs computations in a zkVM and returns STARK proofs that they were done correctly, with a path to verification on Solana."}],["$","link","2",{"rel":"icon","href":"/icon.svg?icon.40r_gb96r44xm.svg","sizes":"any","type":"image/svg+xml"}],["$","$L21","3",{}]]}]}],null]}],["$","meta",null,{"name":"next-size-adjust","content":""}]]}]
22:I[97367,["$2"],"OutletBoundary"]
15:["$","dt",null,{"className":"text-sm text-muted","children":"STARK receipt size"}]
16:["$","dd",null,{"className":"min-w-0 text-sm","children":["224 kB (stays off-chain)","$undefined"]}]
17:["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"On-chain verification"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["128,555 compute units, 930-byte transaction","$undefined"]}]]}]
18:["$","div",null,{"className":"grid gap-1 border-b border-line px-5 py-3.5 last:border-0 sm:grid-cols-[220px_1fr] sm:gap-6","children":[["$","dt",null,{"className":"text-sm text-muted","children":"Cost per receipt"}],["$","dd",null,{"className":"min-w-0 text-sm","children":["5,000 lamport fee plus about 0.0028 SOL of rent",["$","p",null,{"className":"mt-1 text-xs text-faint","children":"At current rent rates; the rent is locked in the receipt account, not burned."}]]}]]}]
19:["$","div",null,{"className":"rounded-lg border border-line-strong bg-surface px-5 py-4","children":[["$","p",null,{"className":"text-sm font-medium","children":"No operator network, staking or rewards exist"}],["$","div",null,{"className":"mt-1 text-sm text-muted","children":"Provera does not run provers for others and there is nothing to stake. A marketplace of independent provers is a possible future direction, not something this software does today."}]]}]
1a:["$","p",null,{"className":"text-sm text-muted","children":["Setup takes four commands. ",["$","$L3",null,{"href":"/docs#quick-start","className":"link","children":"Quick start"}]]}]
1b:["$","$L22",null,{"children":["$","$20",null,{"name":"Next.MetadataOutlet","children":"$@23"}]}]
14:true
9:300
23:null
9:C
13:0
c:"$undefined"
12:"$undefined"
8:"$undefined"
10:"$undefined"
