1  
 2  import types
 3  from types/bn254      import Hash
 4  from types/goldilocks import Digest
 5  
 6  import json/bn254
 7  import json/goldilocks
 8  
 9  #-------------------------------------------------------------------------------
10  
11  proc exportProofInput*(hashcfg: HashConfig, fname: string, prfInput: SlotProofInput[Digest]) = 
12    exportProofInputGoldilocks(hashcfg, fname, prfInput)
13  
14  proc exportProofInput*(hashcfg: HashConfig, fname: string, prfInput: SlotProofInput[Hash]) = 
15    exportProofInputBN254(hashcfg, fname, prfInput)
16  
17  #-------------------------------------------------------------------------------