Skip to content

Commit

Permalink
casing
Browse files Browse the repository at this point in the history
  • Loading branch information
kevincharm committed Aug 11, 2024
1 parent 59db588 commit 287ccc1
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion src/qap.ts
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ export interface QAP {
/**
* Create a quadratic arithmetic programme from an R1CS matrix triple (A, B, C)
*/
export function fromR1cstoQap(l: number, A: FrMatrix, B: FrMatrix, C: FrMatrix): QAP {
export function fromR1csToQap(l: number, A: FrMatrix, B: FrMatrix, C: FrMatrix): QAP {
const A_t = transpose(A)
const B_t = transpose(B)
const C_t = transpose(C)
Expand Down
4 changes: 2 additions & 2 deletions test/groth16.spec.ts
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
import { expect } from 'chai'
import { setup, prove, verify } from '../src/groth16'
import { FrMatrix, fromR1cstoQap } from '../src/qap'
import { FrMatrix, fromR1csToQap } from '../src/qap'
import { Fr } from '@kevincharm/blstoise'

function prepareMatrix(matrix: number[][]): FrMatrix {
Expand Down Expand Up @@ -76,7 +76,7 @@ const witness = [3, 35, 9, 27, 30].map((x) => new Fr(BigInt(x)))
describe('groth16', () => {
it('compute and verify proof', () => {
const l = 1
const qap = fromR1cstoQap(l, R1CS.A, R1CS.B, R1CS.C)
const qap = fromR1csToQap(l, R1CS.A, R1CS.B, R1CS.C)
const trustedSetup = setup(qap)
const { proof, vk } = prove(trustedSetup, qap, witness)

Expand Down

0 comments on commit 287ccc1

Please sign in to comment.