Skip to content

Commit 0c0c900

Browse files
fix: circuit selection for forester mode (#1796)
* fix: circuit selection for forester mode * Update prover/server/prover/proving_keys_utils.go Co-authored-by: ananas-block <58553958+ananas-block@users.noreply.github.com> --------- Co-authored-by: ananas-block <58553958+ananas-block@users.noreply.github.com>
1 parent 0ca65f9 commit 0c0c900

File tree

1 file changed

+3
-11
lines changed

1 file changed

+3
-11
lines changed

prover/server/prover/proving_keys_utils.go

Lines changed: 3 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -137,16 +137,11 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string {
137137
}
138138

139139
var appendWithProofsKeys []string = []string{
140-
keysDir + "append-with-proofs_32_10.key",
141140
keysDir + "append-with-proofs_32_500.key",
142-
// keysDir + "append-with-proofs_32_1000.key",
143141
}
144142

145143
var updateKeys []string = []string{
146-
keysDir + "update_32_10.key",
147-
// keysDir + "update_32_100.key",
148144
keysDir + "update_32_500.key",
149-
// keysDir + "update_32_1000.key",
150145
}
151146

152147
var appendWithProofsTestKeys []string = []string{
@@ -158,24 +153,21 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string {
158153
}
159154

160155
var addressAppendKeys []string = []string{
161-
keysDir + "address-append_40_10.key",
162-
keysDir + "address-append_40_100.key",
163156
keysDir + "address-append_40_250.key",
164-
keysDir + "address-append_40_500.key",
165-
keysDir + "address-append_40_1000.key",
166157
}
167158

168159
var addressAppendTestKeys []string = []string{
169160
keysDir + "address-append_40_10.key",
170161
}
171162

172163
switch runMode {
173-
case Forester: // inclusion + non-inclusion
164+
case Forester: // inclusion + non-inclusion + append + update + address-append
174165
keys = append(keys, inclusionKeys...)
175166
keys = append(keys, nonInclusionKeys...)
176167
keys = append(keys, appendWithProofsKeys...)
177168
keys = append(keys, updateKeys...)
178-
case ForesterTest: // append-test + update-test + address-append-test
169+
keys = append(keys, addressAppendKeys...)
170+
case ForesterTest: // inclusion + non-inclusion + combined + append-test + update-test + address-append-test
179171
keys = append(keys, inclusionKeys...)
180172
keys = append(keys, nonInclusionKeys...)
181173
keys = append(keys, combinedKeys...)

0 commit comments

Comments
 (0)