Skip to content

Commit b9cbefe

Browse files
committed
feat: integrate circom verifier in operator
1 parent 21c308d commit b9cbefe

File tree

4 files changed

+38
-127
lines changed

4 files changed

+38
-127
lines changed

common/proving_systems.go

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ const (
1616
Groth16Bn254
1717
SP1
1818
Risc0
19+
CircomGroth16Bn128
1920
)
2021

2122
func (t *ProvingSystemId) String() string {
@@ -34,6 +35,8 @@ func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
3435
return SP1, nil
3536
case "Risc0":
3637
return Risc0, nil
38+
case "CircomGroth16Bn128":
39+
return CircomGroth16Bn128, nil
3740
}
3841

3942
return 0, fmt.Errorf("unknown proving system: %s", provingSystem)
@@ -51,6 +54,8 @@ func ProvingSystemIdToString(provingSystem ProvingSystemId) (string, error) {
5154
return "SP1", nil
5255
case Risc0:
5356
return "Risc0", nil
57+
case CircomGroth16Bn128:
58+
return "CircomGroth16Bn128", nil
5459
}
5560

5661
return "", fmt.Errorf("unknown proving system: %d", provingSystem)
@@ -105,6 +110,8 @@ func (s *ProvingSystemId) UnmarshalCBOR(data []byte) error {
105110
*s = SP1
106111
case "Risc0":
107112
*s = Risc0
113+
case "CircomGroth16Bn128":
114+
*s = CircomGroth16Bn128
108115
}
109116

110117
return nil

go.mod

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ require (
2020
github.com/fxamacker/cbor/v2 v2.7.0
2121
github.com/rs/zerolog v1.33.0
2222
github.com/ugorji/go/codec v1.2.12
23+
github.com/yetanotherco/go-circom-prover-verifier v0.0.0-20250618185957-f01a8a8ec4a6
2324
gopkg.in/yaml.v3 v3.0.1
2425
)
2526

@@ -60,7 +61,6 @@ require (
6061
github.com/google/uuid v1.6.0 // indirect
6162
github.com/gorilla/websocket v1.5.1 // indirect
6263
github.com/holiman/uint256 v1.2.4 // indirect
63-
github.com/iden3/go-circom-prover-verifier v0.0.1 // indirect
6464
github.com/ingonyama-zk/icicle/v3 v3.1.1-0.20241118092657-fccdb2f0921b // indirect
6565
github.com/klauspost/compress v1.17.7 // indirect
6666
github.com/lmittmann/tint v1.0.4 // indirect
@@ -84,7 +84,6 @@ require (
8484
github.com/tklauser/numcpus v0.6.1 // indirect
8585
github.com/x448/float16 v0.8.4 // indirect
8686
github.com/xrash/smetrics v0.0.0-20240521201337-686a1a2994c1 // indirect
87-
github.com/yetanotherco/go-circom-prover-verifier v0.0.0-20250618185957-f01a8a8ec4a6 // indirect
8887
go.uber.org/multierr v1.11.0 // indirect
8988
go.uber.org/zap v1.27.0 // indirect
9089
golang.org/x/net v0.24.0 // indirect

0 commit comments

Comments
 (0)