Files
linea-monorepo/prover/circuits/registry.go
Arya Tabaie c0568080a1 Prover: implements the aggregation circuit for beta v1 (#3780)
---------

Signed-off-by: Arya Tabaie <arya.pourtabatabaie@gmail.com>
Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com>
Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>
2024-08-14 14:24:08 +02:00

28 lines
1.1 KiB
Go

package circuits
// CircuitID is a type to represent the different circuits.
// It is used to identify the circuit to be used in the prover.
type CircuitID string
const (
ExecutionCircuitID CircuitID = "execution"
ExecutionLargeCircuitID CircuitID = "execution-large"
BlobDecompressionV0CircuitID CircuitID = "blob-decompression-v0"
BlobDecompressionV1CircuitID CircuitID = "blob-decompression-v1"
AggregationCircuitID CircuitID = "aggregation"
EmulationCircuitID CircuitID = "emulation"
EmulationDummyCircuitID CircuitID = "emulation-dummy"
ExecutionDummyCircuitID CircuitID = "execution-dummy"
BlobDecompressionDummyCircuitID CircuitID = "blob-decompression-dummy"
PublicInputInterconnectionCircuitID CircuitID = "public-input-interconnection"
)
// MockCircuitID is a type to represent the different mock circuits.
type MockCircuitID int
const (
MockCircuitIDExecution MockCircuitID = 0
MockCircuitIDDecompression MockCircuitID = 6789
MockCircuitIDEmulation MockCircuitID = 1
)