Crate blitzar_sys

Structs

• sxt_bls12_381_g1
  encodes an affine element of the bls12-381 G1 group
• sxt_bls12_381_g1_compressed
  encodes an element of the bls12-381 G1 group in compressed form
• sxt_bn254_g1
  encodes an affine element of the bn254 G1 group
• sxt_config
  config struct to hold the chosen backend
• sxt_curve25519_scalar
  encodes an element of the finite field for curve25519
• sxt_ristretto255
  encodes an element of the curve25519 group
• sxt_ristretto255_compressed
  encodes an element of the ristretto255 group
• sxt_sequence_descriptor
  describes a sequence of values
• sxt_transcript
  encodes a strobe-based transcript

Constants

• SXT_CPU_BACKEND
• SXT_GPU_BACKEND

Functions

• sxt_bls12_381_g1_compute_pedersen_commitments_with_generators^⚠
  Compute the Pedersen commitments for sequences of values using bls12-381 G1 group elements.
• sxt_bn254_g1_uncompressed_compute_pedersen_commitments_with_generators^⚠
  Compute the Pedersen commitments for sequences of values using bn254 G1 group elements.
• sxt_curve25519_compute_pedersen_commitments^⚠
  Compute the Pedersen commitments for sequences of values that internally generates curve25519 group elements.
• sxt_curve25519_compute_pedersen_commitments_with_generators^⚠
  Compute the Pedersen commitments for sequences of values using curve25519 group elements.
• sxt_curve25519_get_one_commit^⚠
  Gets the n-th Ristretto point.
• sxt_curve25519_prove_inner_product^⚠
  Creates an inner product proof.
• sxt_curve25519_verify_inner_product^⚠
  Verifies an inner product proof.
• sxt_init^⚠
  Initializes the library.
• sxt_ristretto255_get_generators^⚠
  Gets the pre-specified random generated elements used for the Pedersen commitments in the sxt_curve25519_compute_pedersen_commitments function.