navio-blsct/src/__tests__/rangeProof.ts

TypeScript bindings for the `libblsct` library used by the [Navio](https://nav.io/) blockchain to construct confidential transactions based on the BLS12-381 curve.

import { Point } from '../point'
import { TokenId } from '../tokenId'
import { RangeProof } from '../rangeProof'

const genRangeProof = (): RangeProof => {
  const amounts = [123]
  const nonce = Point.random()
  const msg = 'navio'
  const tokenId = TokenId.default()

  return RangeProof.generate(
    amounts,
    nonce,
    msg,
    tokenId,
  )
}

test('generate', () => {
  genRangeProof()
})

test('verifyProofs', () => {
  const rp = genRangeProof()
  const res = RangeProof.verifyProofs([rp])
  expect(res).toBe(true)
})

test('get_A', () => {
  const rp = genRangeProof()
  rp.get_A()
})

test('get_A_wip', () => {
  const rp = genRangeProof()
  rp.get_A_wip()
})

test('get_B', () => {
  const rp = genRangeProof()
  rp.get_B()
})

test('get_r_prime', () => {
  const rp = genRangeProof()
  rp.get_r_prime()
})

test('get_s_prime', () => {
  const rp = genRangeProof()
  rp.get_s_prime()
})

test('get_delta_prime', () => {
  const rp = genRangeProof()
  rp.get_delta_prime()
})

test('get_alpha_hat', () => {
  const rp = genRangeProof()
  rp.get_alpha_hat()
})

test('get_tau_x', () => {
  const rp = genRangeProof()
  rp.get_tau_x()
})

test('serialize and deserialize', () => {
  const a = genRangeProof()
  const a_hex = a.serialize()
  const b = RangeProof.deserialize(a_hex)
  const b_hex = b.serialize()

  expect(a_hex).toBe(b_hex)
})