add aPlonK

this adds the aPlonK cryptographic method alongside Semi-AVID and KZG+.

changelog

• new feature aplonk:
  • the algebra module is compiled when either kzg or aplonk features are enabled
  • algebra::scalar_product_polynomial compiles only with kzg
  • the other algebra::* functions compile with aplonk
• u32_to_u8_vec has been moved to new conversions module which compiles when either kzg or aplonk features are enabled
• new aplonk module which compiles only when the aplonk feature is enabled
  • public structures
    • Block
    • Commitment
    • SetupParams
    • VerifierKey
  • public functions
    • setup
    • commit
    • prove
    • verify
  • internals
    • ipa::Params
    • ipa::Proof
    • ipa::prove
    • ipa::verify
    • polynomial::compute_g
    • transcript::initialize
    • transcript::reset
    • transcript::hash

added 4 commits

• 28e37e05 - remove "aplonk" prefix from structs
• 4822ee04 - format the code
• 0bc41b0c - make Clippy happy
• 47e166cb - remove reconstruction tests

Compare with previous version

changed the description

added 2 commits

• 8fa102ad - remove "IPA" prefix from structures
• d007d00b - add traits for public structures

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for d007d00b succeeds

merged

mentioned in commit 5782d4dc

mentioned in merge request !164 (merged)

mentioned in commit 15184312