This milestone aims at having

• Implementation of the Alba's bounded scheme
• Tests (correctness, positive/negative (randomized) tests, property testing)
• Benchmarks
• Optimizations (parallelization, etc.)
• Bindings