Crate zkstd

ZkStd

This crate provides basic cryptographic implementation as in Field, Curve and Pairing, Fft, Kzg, and also supports fully no_std and parity-scale-codec.

Design

Cryptography libraries need to be applied optimization easily because computation cost affects users waiting time and on-chain gas cost. We design this library following two perspectives.

• The simplicity to replace with the latest algorithm
• The brevity of code by avoiding duplication

We divide arithmetic operation and interface. Arithmetic operation is concrete logic as in elliptic curve addition and so on, and the interface is trait cryptography primitive supports. And we combine them with macro. With this design, we can keep the finite field and elliptic curve implementation simple.

Directory Structure

• arithmetic: the arithmetic operation of limbs, points and bit operation.
• behave: the interface of cryptography components as in Fft Field, Pairing Field and so on.
• dress: the macro used for implementation and in charge of combing arithmetic and behave together.

Modules

• arithmetic
  The arithmetic operation of limbs, points and bit operation. Algebraic algorithms are here.
• common
  export necessary traits for crypto Substrate compatible.
• macros
  macro used for crypto components construction

Macros

• affine_group_operation
• bls12_g2_pairing
• bls12_range_field_pairing
• curve_arithmetic_extension
  curve reference basic operation macro
• curve_operation_test
• curve_test
• ext_field_group_operation
• ext_field_operation
• ext_field_ring_operation
• extension_field_operation
  extension field basic operation macro
• fft_field_operation
  fft field macro
• field_operation
  abstract algebra field operation macro
• field_test
• group_operation
  abstract algebra group operation macro
• mixed_curve_operations
  affine and projective coordinate mixed basic operation
• peculiar_extension_field_operation
• prime_extension_field_operation
  prime field operation for extension field macro
• prime_field_operation
  prime field macro
• projective_group_operation
• ref_ops
  basic operation reference macro
• ring_operation
  abstract algebra ring operation macro
• twisted_edwards_affine_group_operation
• twisted_edwards_curve_operation
  Twisted Edwards curve group operation macro
• twisted_edwards_extend_group_operation
• weierstrass_curve_operation
  Weierstrass standard curve operation macro