Does this template include internationalization (i18n) support?

Yes, the template includes full i18n support with route-based locale detection and RTL/LTR direction handling.

Are shadcn-svelte components integrated?

Yes, shadcn-svelte components are fully integrated with Tailwind CSS v4 for modern UI development.

Does the template support SEO and structured data?

Yes, it includes store-based SEO metadata management and structured data configurations with examples.

Is there built-in state management?

Yes, the template uses centralized Svelte stores for global state management with TypeScript support.

Fermah Explorer

Back to workflows

Workflow execution

Completed Abstract 527 tasks · 14,643 subjobs

Created

Jun 9, 2026, 6:15 AM UTC

Completed

Jun 9, 2026, 6:25 AM UTC

Duration

10m 35s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 019eab05…43dc

Protocol version

0.29.4

chain_id 0

Inputs

Workflow user input

Decoded from the request payload — what the WASM consumed.

L1 batch number: 83,855
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_83855_0.cbor.zst
Protocol version: 0.29.4

Completed

122

In progress

404

Pending

Failed

Composition

Tasks in this execution

Every task delegated as part of this workflow.

Status	Type	Subjobs	Prover	Machine	Done	Duration	Wait
Completed	Compressor	1	fermah-2			1m 16s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	WitnessGeneratorScheduler	1	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorRecursionTip	1	fermah.wg.c4d			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	WitnessGeneratorNodeAggregation	1	—	—	—	—	0μs
Pending	CircuitProver	×11	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			28.00s	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×26	natsai			23.00s	1.00s
Completed	CircuitProver	×32	moonli			29.00s	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			59.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			1m 29s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			30.00s	0μs
Pending	WitnessGeneratorLeafAggregation	1	—	—	—	—	0μs
Completed	CircuitProver	×32	rubynodes			19.00s	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	WitnessGeneratorNodeAggregation	1	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×2	—	—	—	—	0μs
Completed	CircuitProver	1	moonli			5.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			1.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Pending	WitnessGeneratorNodeAggregation	1	—	—	—	—	0μs
Completed	CircuitProver	1	blackblocks			7.00s	0μs
Pending	WitnessGeneratorLeafAggregation	1	—	—	—	—	0μs
Completed	CircuitProver	×13	natsai			13.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			3.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			5.00s	0μs
Completed	CircuitProver	1	p-ops			4.00s	0μs
Pending	CircuitProver	×21	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			3.00s	0μs
Pending	WitnessGeneratorLeafAggregation	1	—	—	—	—	0μs
Pending	CircuitProver	×17	—	—	—	—	0μs
Pending	CircuitProver	×10	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	WitnessGeneratorLeafAggregation	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	CircuitProver	1	rubynodes			4.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			1.00s	0μs
Pending	WitnessGeneratorNodeAggregation	1	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			7.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	CircuitProver	1	moonli			4.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	WitnessGeneratorLeafAggregation	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Pending	WitnessGeneratorNodeAggregation	1	—	—	—	—	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah-2			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			2.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah-2			3.00s	0μs
Pending	CircuitProver	×14	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	staking4all			21.00s	1m 4s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 21s
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 16s
Completed	CircuitProver	×32	fermah.cp.g4			23.00s	19.00s
Completed	CircuitProver	×32	natsai			21.00s	1m 39s
Completed	CircuitProver	×32	fermah.cp.g4			24.00s	1m 35s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	1m 25s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			25.00s	1m 40s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	20.00s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	rubynodes			20.00s	1m 33s
Completed	CircuitProver	×32	cp0x			38.00s	1m 17s
Completed	CircuitProver	×32	moonli			26.00s	1m 36s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	1m 27s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×16	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×3	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×22	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			26.00s	1m 45s
Completed	CircuitProver	×27	rubynodes			15.00s	39.00s
Completed	CircuitProver	×32	p-ops			25.00s	1m 16s
Completed	CircuitProver	×32	fermah.cp.g4			16.00s	19.00s
Completed	CircuitProver	×26	blackblocks			36.00s	1m 26s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×7	moonli			14.00s	24.00s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	natsai			20.00s	1m 19s
Completed	CircuitProver	×32	staking4all			20.00s	1m 25s
Completed	CircuitProver	×27	staking4all			25.00s	1m 46s
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	moonli			24.00s	24.00s
Completed	CircuitProver	×32	moonli			25.00s	1m 27s
Completed	CircuitProver	×32	fermah.cp.g4			27.00s	1m 48s
Completed	CircuitProver	×32	p-ops			24.00s	1m 35s
Completed	CircuitProver	×32	fermah.cp.g4			26.00s	1m 47s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×6	—	—	—	—	0μs
Completed	CircuitProver	×32	p-ops			26.00s	1m 42s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	moonli			24.00s	38.00s
Completed	CircuitProver	×32	rubynodes			19.00s	1m 14s
Completed	CircuitProver	×32	fermah.cp.g4			16.00s	1m 34s
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	20.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 15s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	1m 26s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×28	staking4all			24.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	23.00s
Completed	CircuitProver	×32	natsai			19.00s	41.00s
Completed	CircuitProver	×32	cp0x			39.00s	39.00s
Completed	CircuitProver	×32	rubynodes			20.00s	0μs
Completed	CircuitProver	×32	p-ops			23.00s	25.00s
Completed	CircuitProver	×32	moonli			24.00s	49.00s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	0μs
Completed	CircuitProver	×32	rubynodes			20.00s	55.00s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	1m 6s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	45.00s
Completed	CircuitProver	×32	moonli			25.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			23.00s	0μs
Completed	CircuitProver	×32	staking4all			21.00s	24.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	39.00s
Completed	CircuitProver	×32	p-ops			24.00s	53.00s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	0μs
Completed	CircuitProver	×32	staking4all			20.00s	45.00s
Completed	CircuitProver	×32	p-ops			24.00s	0μs
Completed	CircuitProver	×32	rubynodes			20.00s	20.00s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	47.00s
Completed	CircuitProver	×32	natsai			20.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	43.00s
Completed	CircuitProver	×32	moonli			24.00s	1m 4s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	0μs
Completed	CircuitProver	×32	fairstaking			1m 8s	0μs
Completed	CircuitProver	×32	moonli			23.00s	1m 14s
Completed	CircuitProver	×32	fairstaking			1m 9s	1m 8s
Completed	CircuitProver	×32	p-ops			26.00s	0μs
Completed	CircuitProver	×32	cp0x			39.00s	0μs
Completed	CircuitProver	×32	blackblocks			44.00s	0μs
Completed	CircuitProver	×32	natsai			19.00s	21.00s
Completed	CircuitProver	×32	p-ops			24.00s	1m 12s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	24.00s
Completed	CircuitProver	×32	moonli			25.00s	0μs
Completed	CircuitProver	×32	p-ops			25.00s	27.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	57.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 3s
Failed	CircuitProver	×32	fermah.cp.g4			2m 0s	1m 9s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	37.00s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	43.00s
Completed	CircuitProver	×32	p-ops			24.00s	48.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	20.00s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	58.00s
Completed	CircuitProver	×32	blackblocks			43.00s	44.00s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	43.00s
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	1m 5s
Completed	CircuitProver	×32	fermah.cp.g4			21.00s	1m 4s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	natsai			20.00s	1m 0s
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	WitnessGeneratorBasicCircuits	1	—	—	—	—	0μs