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 294 tasks · 6,928 subjobs

Created

Aug 31, 2026, 3:34 AM UTC

Completed

Aug 31, 2026, 4:10 AM UTC

Duration

35m 36s

Sealed

Proof produced

The workflow completed successfully and a proof was sealed.

Download

Requester

seeker

0xc1a7…1b51

Workflow spec

ZKsync · Abstract

wasi_id 01a055e2…87f6

Protocol version

0.30.1

chain_id 0

Inputs

Workflow user input

Decoded from the request payload — what the WASM consumed.

L1 batch number: 90,881
L1 chain id: 0
L1 block link: gcs://storage.googleapis.com/fermah-mainnet/witness_inputs_90881_0.cbor.zst
Protocol version: 0.30.1

Completed

286

In progress

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.c.g2			1m 21s	0μs
Completed	WitnessGeneratorScheduler	1	fermah.wg.c4d			0μs	0μs
Completed	CircuitProver	1	moonli			5.00s	8.00s
Completed	CircuitProver	1	fermah.cp.g4			4.00s	5.00s
Completed	WitnessGeneratorRecursionTip	1	fermah.wg.c4d			3.00s	1.00s
Completed	CircuitProver	1	fermah.cp.g4			3.00s	3.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×6	fermah.cp.g4			7.00s	5.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			29.00s	9.00s
Completed	CircuitProver	1	fermah.cp.g4			3.00s	9.00s
Completed	CircuitProver	×32	fermah.cp.g4			31.00s	4.00s
Failed	CircuitProver	×32	cp0x			2m 0s	1.00s
Completed	CircuitProver	×32	fermah.cp.g4			26.00s	11.00s
Completed	CircuitProver	×7	fermah.cp.g4			8.00s	2.00s
Completed	CircuitProver	×32	fermah.cp.g4			29.00s	4.00s
Completed	CircuitProver	×32	fermah.cp.g4			39.00s	1.00s
Completed	CircuitProver	1	cp0x			7.00s	0μs
Completed	CircuitProver	1	cp0x			6.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			27.00s	0μs
Completed	CircuitProver	1	cp0x			7.00s	10.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×2	moonli			9.00s	9.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6.00s
Completed	CircuitProver	×2	natsai			3.00s	5.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	p-ops			24.00s	0μs
Completed	CircuitProver	1	rubynodes			3.00s	2.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			3.00s	4.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	3.00s
Completed	CircuitProver	×32	natsai			15.00s	7.00s
Completed	CircuitProver	1	moonli			5.00s	3.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	12.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	13.00s
Completed	CircuitProver	×8	fermah.cp.g4			8.00s	11.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	natsai			2.00s	7.00s
Completed	CircuitProver	1	fermah.cp.g4			4.00s	15.00s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	10.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			3.00s	18.00s
Completed	CircuitProver	×26	fermah.cp.g4			16.00s	19.00s
Completed	CircuitProver	1	fermah.cp.g4			4.00s	11.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	natsai			7.00s	23.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			3.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	20.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	36.00s
Completed	CircuitProver	×7	fermah.cp.g4			8.00s	19.00s
Completed	CircuitProver	1	fermah.cp.g4			4.00s	19.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	43.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			3.00s	50.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			3.00s	26.00s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	1m 20s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	cp0x			0μs	2m 33s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 47s
Completed	CircuitProver	1	fermah.cp.g4			3.00s	2m 9s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×7	rubynodes			9.00s	59.00s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	p-ops			22.00s	2m 53s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	45.00s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	49.00s
Completed	CircuitProver	1	fermah.cp.g4			4.00s	3m 37s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	1m 38s
Completed	CircuitProver	×32	rubynodes			22.00s	4m 3s
Completed	CircuitProver	1	moonli			5.00s	7m 19s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Pending	CircuitProver	1	—	—	—	—	0μs
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	11m 35s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	×32	natsai			14.00s	11m 47s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	4m 9s
Completed	CircuitProver	1	fermah.cp.g4			3.00s	15m 24s
Completed	WitnessGeneratorNodeAggregation	1	fermah.wg.c4d			2.00s	0μs
Completed	CircuitProver	1	p-ops			3.00s	19m 18s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Completed	CircuitProver	1	fermah.cp.g4			4.00s	6m 20s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			2.00s	9.00s
Completed	CircuitProver	1	moonli			5.00s	8m 11s
Completed	WitnessGeneratorLeafAggregation	1	fermah.wg.c4d			1.00s	0μs
Completed	CircuitProver	×32	moonli			20.00s	9m 40s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	9m 58s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	10m 18s
Completed	CircuitProver	×32	rubynodes			21.00s	10m 55s
Completed	CircuitProver	×32	staking4all			21.00s	25m 9s
Completed	CircuitProver	×32	staking4all			22.00s	25m 31s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 12s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 29s
Completed	CircuitProver	1	fermah.cp.g4			6.00s	27m 13s
Completed	CircuitProver	×32	p-ops			22.00s	27m 13s
Completed	CircuitProver	×32	rubynodes			22.00s	27m 14s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	28m 0s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	3m 47s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	4m 55s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 33s
Completed	CircuitProver	×32	moonli			28.00s	5m 42s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6m 30s
Completed	CircuitProver	×32	staking4all			29.00s	8m 46s
Completed	CircuitProver	×32	moonli			24.00s	10m 23s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	13m 20s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 56s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 5s
Completed	CircuitProver	×32	fermah.cp.g4			24.00s	25m 22s
Completed	CircuitProver	×32	moonli			24.00s	25m 31s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	27m 23s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	4m 37s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6m 11s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	7m 28s
Completed	CircuitProver	×32	moonli			24.00s	9m 9s
Completed	CircuitProver	×32	natsai			15.00s	22m 11s
Completed	CircuitProver	×32	staking4all			22.00s	24m 23s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	24m 26s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 19s
Completed	CircuitProver	×32	rubynodes			22.00s	27m 36s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 41s
Completed	CircuitProver	×32	rubynodes			29.00s	1m 1s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	2m 12s
Completed	CircuitProver	×32	fermah.cp.g4			16.00s	4m 9s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	4m 56s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 52s
Completed	CircuitProver	×19	moonli			27.00s	7m 4s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	8m 43s
Completed	CircuitProver	×32	moonli			24.00s	12m 40s
Completed	CircuitProver	×32	moonli			26.00s	14m 8s
Completed	CircuitProver	×32	moonli			23.00s	21m 16s
Completed	CircuitProver	×32	staking4all			21.00s	22m 20s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	22m 44s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 48s
Completed	CircuitProver	×32	natsai			14.00s	25m 19s
Completed	CircuitProver	×32	moonli			25.00s	26m 2s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 2s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 4s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 4s
Completed	CircuitProver	×32	rubynodes			22.00s	27m 58s
Completed	CircuitProver	×32	p-ops			22.00s	43.00s
Completed	CircuitProver	×2	p-ops			5.00s	2m 16s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	3m 6s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	4m 25s
Completed	CircuitProver	×32	fermah.cp.g4			16.00s	4m 39s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 23s
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	5m 33s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6m 14s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	7m 14s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	8m 10s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	8m 29s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	8m 48s
Completed	CircuitProver	×32	moonli			24.00s	9m 59s
Completed	CircuitProver	×32	moonli			27.00s	10m 0s
Completed	CircuitProver	×32	moonli			28.00s	11m 22s
Completed	CircuitProver	×32	moonli			21.00s	11m 42s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	11m 48s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	13m 1s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	14m 14s
Completed	CircuitProver	×32	p-ops			28.00s	14m 32s
Completed	CircuitProver	1	p-ops			7.00s	17m 59s
Completed	CircuitProver	×32	rubynodes			21.00s	22m 4s
Completed	CircuitProver	×32	fermah.cp.g4			25.00s	22m 24s
Completed	CircuitProver	×32	natsai			14.00s	22m 59s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	24m 10s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 33s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 16s
Completed	CircuitProver	×32	rubynodes			22.00s	25m 19s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	5m 41s
Completed	CircuitProver	×32	staking4all			22.00s	25m 53s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 33s
Completed	CircuitProver	1	fermah.cp.g4			11.00s	26m 46s
Completed	CircuitProver	×32	p-ops			22.00s	26m 51s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	27m 19s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	27m 38s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 41s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 45s
Completed	CircuitProver	×32	natsai			14.00s	24m 51s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	15m 20s
Completed	CircuitProver	×32	fermah.cp.g4			26.00s	24m 38s
Completed	CircuitProver	×32	moonli			27.00s	10m 27s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	2m 25s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6m 33s
Completed	CircuitProver	×32	staking4all			22.00s	27m 39s
Completed	CircuitProver	×32	rubynodes			22.00s	22m 29s
Completed	CircuitProver	×32	moonli			24.00s	24m 37s
Completed	CircuitProver	×32	fermah.cp.g4			25.00s	26m 54s
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	CircuitProver	×32	moonli			28.00s	25m 30s
Completed	CircuitProver	×32	natsai			14.00s	24m 23s
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	6m 4s
Completed	CircuitProver	×32	p-ops			23.00s	24m 36s
Completed	CircuitProver	×32	p-ops			29.00s	25m 1s
Completed	CircuitProver	×32	moonli			24.00s	26m 28s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 45s
Completed	CircuitProver	1	moonli			15.00s	6m 49s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 43s
Completed	CircuitProver	×32	natsai			14.00s	25m 33s
Completed	CircuitProver	1	fermah.cp.g4			10.00s	26m 36s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	9m 2s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	9m 21s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	10m 35s
Completed	CircuitProver	×32	moonli			23.00s	11m 50s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	23m 59s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 21s
Completed	CircuitProver	×32	rubynodes			29.00s	24m 50s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 1s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 16s
Completed	CircuitProver	×32	staking4all			22.00s	27m 16s
Completed	CircuitProver	×32	fermah.cp.g4			17.00s	27m 39s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 46s
Completed	CircuitProver	×5	fermah.cp.g4			12.00s	2m 47s
Completed	CircuitProver	×24	moonli			16.00s	6m 10s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	6m 59s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	7m 49s
Completed	CircuitProver	×32	cp0x			25.00s	12m 25s
Completed	CircuitProver	×32	staking4all			22.00s	13m 16s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	16m 5s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	18m 14s
Completed	CircuitProver	×25	fermah.cp.g4			16.00s	20m 18s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	24m 20s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 56s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	26m 21s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 51s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 0s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	27m 23s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	27m 56s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	7m 17s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	7m 52s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	8m 6s
Completed	CircuitProver	×32	moonli			27.00s	8m 42s
Completed	CircuitProver	×32	moonli			24.00s	10m 47s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	12m 7s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	12m 48s
Completed	CircuitProver	×32	rubynodes			21.00s	13m 10s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	13m 59s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 50s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 15s
Completed	CircuitProver	×32	fermah.cp.g4			16.00s	25m 27s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	3m 55s
Completed	CircuitProver	×32	fermah.cp.g4			22.00s	3m 55s
Completed	CircuitProver	×32	moonli			26.00s	5m 20s
Completed	CircuitProver	×32	fermah.cp.g4			20.00s	8m 7s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	9m 7s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	11m 10s
Completed	CircuitProver	×32	cp0x			26.00s	11m 8s
Completed	CircuitProver	×32	moonli			27.00s	12m 13s
Completed	CircuitProver	×32	rubynodes			22.00s	14m 39s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	16m 5s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 32s
Completed	CircuitProver	×32	staking4all			22.00s	24m 46s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 53s
Completed	CircuitProver	×32	p-ops			22.00s	21.00s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	7m 40s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	7m 47s
Completed	CircuitProver	1	moonli			9.00s	13m 13s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	13m 6s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	15m 1s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	18m 42s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 21s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 35s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 41s
Completed	CircuitProver	×32	staking4all			21.00s	26m 54s
Completed	CircuitProver	×32	moonli			24.00s	26m 52s
Completed	CircuitProver	×32	staking4all			22.00s	28m 1s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	4m 5s
Completed	CircuitProver	×32	moonli			26.00s	8m 20s
Completed	CircuitProver	×32	moonli			26.00s	9m 33s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	10m 4s
Completed	CircuitProver	×32	moonli			26.00s	11m 16s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	15m 50s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	19m 45s
Completed	CircuitProver	×4	fermah.cp.g4			12.00s	23m 45s
Completed	CircuitProver	×32	rubynodes			22.00s	24m 21s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	24m 40s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	25m 3s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	26m 21s
Completed	CircuitProver	×32	fermah.cp.g4			18.00s	4m 43s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 14s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	5m 55s
Completed	CircuitProver	×32	fermah.cp.g4			19.00s	7m 45s
Pending	CircuitProver	×26	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Pending	CircuitProver	×32	—	—	—	—	0μs
Completed	WitnessGeneratorBasicCircuits	1	fermah.wg.c4d			50.00s	0μs