logos-storage/nim-groth16
1
0
Fork 0
mirror of https://github.com/logos-storage/nim-groth16.git synced 2026-01-04 06:33:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

export some more stuff from export_sage.nim

Browse Source
This commit is contained in:
Balazs Komuves 2024-01-16 13:56:32 +01:00
parent 42e1728629
commit 6eedd0faa4
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
groth16/files/export_sage.nim
View File

@ -16,24 +16,24 @@ from groth16/prover import Proof
func toSpaces(str: string): string = spaces(str.len)
func sageFp(prefix: string, x: Fp): string = prefix & "Fp(" & toDecimalFp(x) & ")"
func sageFr(prefix: string, x: Fr): string = prefix & "Fr(" & toDecimalFr(x) & ")"
func sageFp*(prefix: string, x: Fp): string = prefix & "Fp(" & toDecimalFp(x) & ")"
func sageFr*(prefix: string, x: Fr): string = prefix & "Fr(" & toDecimalFr(x) & ")"
func sageFp2(prefix: string, z: Fp2): string =
func sageFp2*(prefix: string, z: Fp2): string =
sageFp( prefix & "mkFp2(" , z.coords[0]) & ",\n" &
sageFp( toSpaces(prefix) & " " , z.coords[1]) & ")"
func sageG1(prefix: string, p: G1): string =
func sageG1*(prefix: string, p: G1): string =
sageFp( prefix & "E(" , p.x) & ",\n" &
sageFp( toSpaces(prefix) & " " , p.y) & ")"
func sageG2(prefix: string, p: G2): string =
func sageG2*(prefix: string, p: G2): string =
sageFp2( prefix & "E2(" , p.x) & ",\n" &
sageFp2( toSpaces(prefix) & " " , p.y) & ")"
#-------------------------------------------------------------------------------
proc exportVKey(h: Stream, vkey: VKey ) =
proc exportVKey*(h: Stream, vkey: VKey ) =
let spec = vkey.spec
h.writeLine("alpha1 = \\") ; h.writeLine(sageG1(" ", spec.alpha1))
h.writeLine("beta2 = \\") ; h.writeLine(sageG2(" ", spec.beta2 ))
@ -117,7 +117,7 @@ const sage_bn128_lines : seq[string] =
, ""
]
const sage_bn128 : string = join(sage_bn128_lines, sep="\n")
const sage_bn128* : string = join(sage_bn128_lines, sep="\n")
#-------------------------------------------------------------------------------