-
Notifications
You must be signed in to change notification settings - Fork 368
/
assert_profile.go
48 lines (40 loc) · 1.26 KB
/
assert_profile.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
package test
import (
"github.com/consensys/gnark-crypto/ecc"
"github.com/consensys/gnark/backend"
)
// serializationThreshold is the number of constraints above which we don't
// don't do serialization check for the proving and verifying keys.
const serializationThreshold = 1000
// see assert.CheckCircuit for details
type profile struct {
backends []backend.ID
curves []ecc.ID
checkSerialization bool
checkSolidity bool
checkProver bool
fuzzing bool
skipTestEngine bool
}
var testEngineChecks = profile{
backends: []backend.ID{},
curves: []ecc.ID{ecc.BN254, ecc.BLS12_381},
}
var constraintSolverChecks = profile{
backends: []backend.ID{backend.GROTH16, backend.PLONK},
curves: []ecc.ID{ecc.BN254, ecc.BLS12_381},
}
var proverChecks = profile{
backends: []backend.ID{backend.GROTH16, backend.PLONK},
curves: []ecc.ID{ecc.BN254, ecc.BLS12_381, ecc.BW6_761},
checkSolidity: true && SolcCheck,
checkProver: true,
}
var releaseChecks = profile{
backends: []backend.ID{backend.GROTH16, backend.PLONK},
curves: []ecc.ID{ecc.BN254, ecc.BLS12_381, ecc.BW6_761, ecc.BLS12_377},
checkSolidity: true && SolcCheck,
checkProver: true,
checkSerialization: true,
fuzzing: true,
}