1:"$Sreact.fragment"
2:"/_next/static/chunks/27gjg8e11zukd.js"
3:I[22016,["$2"],""]
4:I[39756,["$2"],"default"]
5:I[37457,["$2"],"default"]
10:I[68027,["$2"],"default",1]
:HL["/_next/static/chunks/2o4ecce28ubhf.css","style"]
:HL["/_next/static/media/GeistMono_Variable.p.3ms9vq719j3f8.woff2","font",{"crossOrigin":"","type":"font/woff2"}]
:HL["/_next/static/media/Geist_Variable-s.p.0mrjj4bg00-he.woff2","font",{"crossOrigin":"","type":"font/woff2"}]
c:X
d:[["children",{"s":"__PAGE__","h":512,"d":{"r":"$Le","p":false,"v":null}}]]
a:[["children",{"s":"provers","h":512,"d":{"r":"$Lb","p":false,"v":"$c"},"c":"$Qd"}]]
0:{"P":null,"c":["","provers",""],"q":"","i":false,"t":{"t":{"s":"","h":528,"d":{"r":["$","$1","c",{"children":[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/chunks/2o4ecce28ubhf.css","precedence":"next","crossOrigin":"$undefined","nonce":"$undefined"}],["$","script","script-0",{"src":"/_next/static/chunks/27gjg8e11zukd.js","async":true,"nonce":"$undefined"}]],["$","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","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L5",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","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."}]}]]}]}]],[]],"forbidden":"$undefined","unauthorized":"$undefined"}]}],["$","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"}],"$L6","$L7","$L8","$L9"]}]]}]}]]}]}]]}],"p":false,"v":null},"c":"$Qa"},"h":{"r":"$Lf","p":false,"v":null}},"m":"$undefined","G":["$10",["$L11"]],"S":true,"r":"$undefined","s":"$undefined","a":"$undefined","l":"$undefined","p":"$undefined","d":"$undefined","b":"8KJl1csVP2SWNNGtY9yB2"}
19:"ViewportBoundary"
1a:I[97367,["$2"],"$19"]
1c:"MetadataBoundary"
1d:I[97367,["$2"],"$1c"]
1e:"$Sreact.suspense"
6:["$","$L3",null,{"href":"/docs#cli","className":"hover:text-fg","children":"Command-line tool"}]
7:["$","$L3",null,{"href":"/docs#architecture","className":"hover:text-fg","children":"Architecture"}]
8:["$","$L3",null,{"href":"/verify","className":"hover:text-fg","children":"Verify a receipt"}]
9:["$","$L3",null,{"href":"/provers","className":"hover:text-fg","children":"Run a prover"}]
b:["$","$1","c",{"children":[null,["$","$L4",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L5",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":"$undefined","forbidden":"$undefined","unauthorized":"$undefined"}]]}]
e:["$","$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":["$L12","$L13"]}],"$L14","$L15"]}]]}],"$L16","$L17"]}]],null,"$L18"]}]
f:["$","$1","h",{"children":[null,["$","$L1a",null,{"children":"$L1b"}],["$","$L1d",null,{"children":[["$","div",null,{"hidden":true,"children":["$","$1e",null,{"name":"Next.Metadata","children":"$L1f"}]}],null]}],["$","meta",null,{"name":"next-size-adjust","content":""}]]}]
11:["$","link","0",{"rel":"stylesheet","href":"/_next/static/chunks/2o4ecce28ubhf.css","precedence":"next","crossOrigin":"$undefined","nonce":"$undefined"}]
20:I[97367,["$2"],"OutletBoundary"]
c:C
12:["$","dt",null,{"className":"text-sm text-muted","children":"STARK receipt size"}]
13:["$","dd",null,{"className":"min-w-0 text-sm","children":["224 kB (stays off-chain)","$undefined"]}]
14:["$","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"]}]]}]
15:["$","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."}]]}]]}]
16:["$","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."}]]}]
17:["$","p",null,{"className":"text-sm text-muted","children":["Setup takes four commands. ",["$","$L3",null,{"href":"/docs#quick-start","className":"link","children":"Quick start"}]]}]
18:["$","$L20",null,{"children":["$","$1e",null,{"name":"Next.MetadataOutlet","children":"$@21"}]}]
1b:[["$","meta","0",{"charSet":"utf-8"}],["$","meta","1",{"name":"viewport","content":"width=device-width, initial-scale=1"}]]
22:I[27201,["$2"],"IconMark"]
1f:[["$","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"}],["$","$L22","3",{}]]
21:null
