Skip to content

Commit

Permalink
chore: remove unused function in swift test
Browse files Browse the repository at this point in the history
  • Loading branch information
chancehudson committed Oct 22, 2024
1 parent c10b789 commit 60f7ab5
Showing 1 changed file with 3 additions and 27 deletions.
30 changes: 3 additions & 27 deletions test-e2e/tests/bindings/test_ashlang_example.swift
Original file line number Diff line number Diff line change
@@ -1,45 +1,21 @@
import Foundation
import mopro

func serializeOutputs(_ stringArray: [String]) -> [UInt8] {
var bytesArray: [UInt8] = []
let length = stringArray.count
var littleEndianLength = length.littleEndian
let targetLength = 32
withUnsafeBytes(of: &littleEndianLength) {
bytesArray.append(contentsOf: $0)
}
for value in stringArray {
// TODO: should handle 254-bit input
var littleEndian = Int32(value)!.littleEndian
var byteLength = 0
withUnsafeBytes(of: &littleEndian) {
bytesArray.append(contentsOf: $0)
byteLength = byteLength + $0.count
}
if byteLength < targetLength {
let paddingCount = targetLength - byteLength
let paddingArray = [UInt8](repeating: 0, count: paddingCount)
bytesArray.append(contentsOf: paddingArray)
}
}
return bytesArray
}

do {
let ar1csPath = "../../../test-vectors/ashlang/example.ar1cs"

// Prepare inputs
// this number is used but not constrained
var inputs = [String(55)]

// Generate Proof
let generateProofResult = try generateAshlangSpartanProof(ar1csPath: ar1csPath, inputs: inputs)

assert(!generateProofResult.proof.isEmpty, "Proof should not be empty")

// Verify Proof

let isValid = try verifyAshlangSpartanProof(
ar1csPath: ar1csPath, proof: generateProofResult.proof)

assert(isValid, "Proof verification should succeed")

} catch let error as MoproError {
Expand Down

0 comments on commit 60f7ab5

Please sign in to comment.