Skip to content

Commit e842bec

Browse files
author
colinlyguo
committed
add back load halo2 vks
1 parent 37c9b97 commit e842bec

File tree

1 file changed

+22
-4
lines changed

1 file changed

+22
-4
lines changed

coordinator/internal/logic/verifier/verifier.go

Lines changed: 22 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -99,10 +99,8 @@ func NewVerifier(cfg *config.VerifierConfig) (*Verifier, error) {
9999
OpenVMVkMap: make(map[string]struct{}),
100100
}
101101

102-
if cfg.LowVersionCircuit.ForkName == message.EuclidFork {
103-
if err := v.loadOpenVMVks(cfg.LowVersionCircuit.ForkName); err != nil {
104-
return nil, err
105-
}
102+
if err := v.loadLowVersionVKs(cfg); err != nil {
103+
return nil, err
106104
}
107105

108106
if err := v.loadOpenVMVks(cfg.HighVersionCircuit.ForkName); err != nil {
@@ -205,6 +203,26 @@ func (v *Verifier) readVK(filePat string) (string, error) {
205203
return base64.StdEncoding.EncodeToString(byt), nil
206204
}
207205

206+
// load low version vks, current is darwin
207+
func (v *Verifier) loadLowVersionVKs(cfg *config.VerifierConfig) error {
208+
bundleVK, err := v.readVK(path.Join(cfg.LowVersionCircuit.AssetsPath, "vk_bundle.vkey"))
209+
if err != nil {
210+
return err
211+
}
212+
batchVK, err := v.readVK(path.Join(cfg.LowVersionCircuit.AssetsPath, "vk_batch.vkey"))
213+
if err != nil {
214+
return err
215+
}
216+
chunkVK, err := v.readVK(path.Join(cfg.LowVersionCircuit.AssetsPath, "vk_chunk.vkey"))
217+
if err != nil {
218+
return err
219+
}
220+
v.BundleVkMap[bundleVK] = struct{}{}
221+
v.BatchVKMap[batchVK] = struct{}{}
222+
v.ChunkVKMap[chunkVK] = struct{}{}
223+
return nil
224+
}
225+
208226
func (v *Verifier) loadOpenVMVks(forkName string) error {
209227
tempFile := path.Join(os.TempDir(), "openVmVk.json")
210228
defer func() {

0 commit comments

Comments
 (0)