github/zkopru
1
1
Fork 0
mirror of https://github.com/zkopru-network/zkopru.git synced 2026-04-24 03:00:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix: unreverse points

Browse Source
This commit is contained in:
Chance Hudson
2021-04-30 23:47:23 -05:00
parent 65453532c4
commit 4dfa29d62c
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
packages/core/src/context/layer1.ts
View File

@@ -51,12 +51,12 @@ export class L1Contract extends ZkopruContract {
[BigInt('1'), BigInt('0')],
]
const vk_gamma_2 = [
[BigInt(vk.gamma2[0][1]), BigInt(vk.gamma2[0][0])],
[BigInt(vk.gamma2[0][0]), BigInt(vk.gamma2[0][1])],
[BigInt(vk.gamma2[1][0]), BigInt(vk.gamma2[1][1])],
[BigInt('1'), BigInt('0')],
]
const vk_delta_2 = [
[BigInt(vk.delta2[0][1]), BigInt(vk.delta2[0][0])],
[BigInt(vk.delta2[0][0]), BigInt(vk.delta2[0][1])],
[BigInt(vk.delta2[1][0]), BigInt(vk.delta2[1][1])],
[BigInt('1'), BigInt('0')],
]
@@ -66,11 +66,15 @@ export class L1Contract extends ZkopruContract {
)
const IC = vk.ic.map(ic => [BigInt(ic[0]), BigInt(ic[1]), BigInt(1)])
vks[sig] = {
protocol: 'groth',
protocol: 'groth16',
curve: 'bn128',
nPublic: vk.ic.length - 1,
vk_alpha_1,
vk_beta_2,
vk_beta_2: [
[BigInt(vk.beta2[0][0]), BigInt(vk.beta2[0][1])],
[BigInt(vk.beta2[1][0]), BigInt(vk.beta2[1][1])],
[BigInt('1'), BigInt('0')],
],
vk_gamma_2,
vk_delta_2,
vk_alphabeta_12,