Experiment: vortex on koalabear

[AlexandreBelling]

Description

The pull-request implements a basic version of the Vortex polynomial commitment protocol relying on Koalabear as base field. The implementation uses Poseidon2 for the Merkle-tree construction. It implements everything in the field/koalabear/vortex package and implements the following features:

• A "Hash" type along with the
  • Compression function
  • Sponge-based hasher (without padding-attack protection)
• A merkle-tree implementation
• A polynomials evaluation implementation (in Lagrange or monomial basis)
• A few utility functions (nextPowerOf2, isPowerOfTwo, Log2Floor/Ceil etc...)
• Reed-Solomon encoding and checking

Testing

The testing is mid, the PR writes just enough test to ensure the happy-path is working correctly. No soundness test have been written