SOLUTIONS / FORGE15The full offering

Exact where it matters.
Measured where it scales.

Explore lattice reduction and modular exact algebra without replacing their mathematical contracts with a generic acceleration claim.

Discuss this workload

START WITH THE METHOD

The tools.
For this work.

NUMBER THEORY & CRYPTO

LatForge

Lattice-basis reduction software with independent checks of the returned basis.

NUMBER THEORY & CRYPTO

modalg

Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer.

ACCEPTANCE

Keep the original problem.
Check the useful result.

Agree integer sizes, model dimensions, verification arithmetic and reconstruction evidence. A reduced basis is not a claim that a cryptographic system has been broken.

The verification guide Scope an assessment Plan the implementation

Exact where it matters.Measured where it scales.

The tools.For this work.

LatForge

modalg

Keep the original problem.Check the useful result.

Put itto work.

Exact where it matters.
Measured where it scales.

The tools.
For this work.

Keep the original problem.
Check the useful result.

Put it
to work.