--- title: LatForge: Lattice-Basis Reduction with Checked Results | SpinForge url: https://spin-forge.com/forge15/latforge description: Lattice-basis reduction software with independent checks of the returned basis. --- FORGE15 / 01 / NUMBER THEORY & CRYPTO [The full offering](https://spin-forge.com/platform) # LatForge. Lattice-basis reduction software with independent checks of the returned basis. [Discuss LatForge](https://spin-forge.com/contact?product=forge15%2Flatforge) Customer outcome [Design and discover](https://spin-forge.com/platform/discovery-design) Available now CLI MCP Headless Choose your access mode THE PRODUCT, IN PRACTICE ## Work with a better basis. Keep the mathematics accountable. A lattice basis can be valid yet awkward for the number-theory or cryptography analysis that follows. LatForge produces a reduced basis and supplies an independent checking path, so the researcher can assess the result rather than trust an unchecked transformation. The tool belongs in a mathematical analysis workflow; it is not an encryption product or a claim to break a deployed cryptosystem. BUILT FOR Number-theory researchers and post-quantum cryptography analysis teams. CHALLENGES PRODUCT RESPONSE ## The problem you face. What LatForge changes. 01 ### The starting basis is difficult to work with A usable analysis can depend on improving the representation of the lattice before the next computation. LatForge takes a supported basis and returns a reduced one for subsequent mathematical work. 02 ### A plausible output still needs verification A shorter-looking basis alone does not establish that the required reduction properties hold. The independent checking workflow tests the stated reduction conditions and the applicable evidence about the relationship to the input lattice. 03 ### Larger dimensions change the execution cost A result at a small dimension does not predict whether a larger workload will fit its runtime budget. LatForge can be evaluated on the customer’s basis dimensions and limits, with achieved reduction and elapsed time assessed together. WHAT YOU GET ## A defined capability. A useful output. The product scope below describes the capability and outputs to confirm for your release. Custom integration, operated delivery and additional engineering are separately agreed. 01 ### A reduction tool Executable lattice-basis reduction for the supported inputs. 02 ### A reduced basis The selected output basis for downstream mathematical analysis. 03 ### Independent checking The supplied checker for the stated reduction properties and associated arithmetic. 04 ### A qualification target A clearly defined input dimension, execution budget and required result evidence. AVAILABLE NOW ## One product. Three ways to work. LatForge is fully available with CLI, MCP and headless access. Use the interface that fits your terminal, your agents or your automated workflow. 01 / CLI ### For your terminal. Run the product from a terminal or script, alongside the tools your team already uses. [Get CLI access](https://spin-forge.com/contact?product=forge15%2Flatforge&interface=cli&brief=I+would+like+LatForge+access+through+CLI.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 02 / MCP ### For your agents. Connect MCP-compatible clients and agents to the product’s exposed capabilities. [Get MCP access](https://spin-forge.com/contact?product=forge15%2Flatforge&interface=mcp&brief=I+would+like+LatForge+access+through+MCP.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) 03 / HEADLESS ### For your workflows. Operate without a graphical interface in unattended, scheduled or pipeline-driven work. [Set up headless access](https://spin-forge.com/contact?product=forge15%2Flatforge&interface=headless&brief=I+would+like+LatForge+access+through+headless.+Please+share+the+setup+documentation+and+configuration+for+the+selected+product.+We+will+confirm+the+environment%2C+license+scope+and+workflow+during+onboarding.) Product-specific inputs, hardware requirements and result guarantees still apply. An access mode does not change your license or deployment scope. [Explore all product interfaces](https://spin-forge.com/developers?section=access-directory) EXAMPLE CUSTOMER WORKFLOW ## Prepare a lattice-analysis experiment A researcher needs to reduce a collection of supported bases before comparing the next stage of an analysis. Illustrative use of the supported scope, not a customer case study or a measured result. 1. 01 Provide the bases and reduction requirements. 2. 02 Run the tool within the chosen budget and retain its returned basis. 3. 03 Independently check the required properties before using that basis downstream. IN YOUR WORKFLOW ## Start with your task. Agree the useful outcome. Number-theory researchers and post-quantum cryptography analysis teams. What you bring The lattice basis, supported reduction requirements, dimensions and execution limits. What a useful evaluation measures - The checked reduction properties - Achieved basis quality within the budget - Validity of the input-to-output evidence Where it fits Use the selected product in a qualified customer environment, or agree a defined implementation with SpinForge. A hosted or managed service is quoted for its actual operating responsibilities; it is not automatically included with software access. QUESTIONS BEFORE YOU BUY ## A clear scope. No hidden assumptions. **How can we use LatForge?**CLI, MCP and headless access are all available. Run from a terminal or script, connect an MCP-compatible client, or use the product without a graphical interface. Choose the mode during onboarding and receive its setup instructions. Runtime requirements and supported operations remain product-specific. **What is the important product boundary? **Reduction does not guarantee an exact shortest vector. The supplied campaign reached a 90-second cap at dimension 64. A matching determinant alone does not prove lattice equivalence; that claim requires the corresponding relationship evidence. **What comes with the selected license? **The agreed LatForge release, its supported interfaces and outputs, the applicable checks and the support stated in your order. The plan defines users, workflow, environment and capacity. Source-code transfer, unrestricted redistribution and bespoke engineering are not automatically included. **Can SpinForge implement or operate it for us? **Request a scoped engineering or operated-service proposal. It identifies what our team delivers, where the workload runs, infrastructure costs, acceptance requirements and ongoing support. Your software subscription alone does not activate a hosted runtime. [Explore engineering](https://spin-forge.com/engineering) **What evidence is available for review? **P48 / Company-reported. The supplied campaign reports dimension-dependent reduction time and a 90-second cap at dimension 64. The result checking was strengthened after a numerical issue was identified. These are reported campaign results, not a new evaluation of your basis. These descriptions come from the supplied product and campaign material. Website checks are not an independent rerun of the engine. Qualification identifies the actual release, workload and available artifacts. [Read the evidence summary](https://spin-forge.com/results) SOFTWARE / OPERATED DELIVERY By proposal Customer-hosted access and a service operated by SpinForge are different scopes. Confirm the release, deployment and included support before activation. [Plans & delivery](https://spin-forge.com/pricing) PUT LATFORGE TO WORK ## Tell us what needs to improve. Bring a representative workload and the result your team needs. We’ll define the product, deployment and engineering scope around that task. [Discuss this workflow](https://spin-forge.com/contact?product=forge15%2Flatforge&brief=Product%3A+LatForge%0AOur+challenge%3A+The+starting+basis+is+difficult+to+work+with%0AWorkload+%2F+baseline%3A+%0AEnvironment%3A+%0ARequired+output%3A+%0AAcceptance+measures%3A+The+checked+reduction+properties%3B+Achieved+basis+quality+within+the+budget%3B+Validity+of+the+input-to-output+evidence%0ADelivery+preference+%28software+%2F+engineering+%2F+managed%29%3A+) **Related products, workflows and system connections + **RELATED CAPABILITIES ## Connect the right products. Distinct responsibilities. Explore each scope before choosing a combined deployment. [### modalg Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer.](https://spin-forge.com/forge15/modalg) [### Exact algebra & number theory Explore lattice reduction and modular exact algebra without replacing their mathematical contracts with a generic acceleration claim.](https://spin-forge.com/solutions/number-theory) [### Forge15 verification Exact arithmetic, feasibility, optimality, numerical consistency and statistical coverage are different guarantees.](https://spin-forge.com/forge15/verification) ONE PLATFORM / OR A DIRECT PURCHASE ## Checked Decisions with LatForge. Activate this capability inside a qualified checked decisions workflow. Compatible methods and required shared checking are included once within that workflow; the product remains independently purchasable. Capacity, release, environment, result contract and operating responsibilities are specified before activation. Choosing an additional method is not permission to add an unrelated workload or unqualified deployment. [Explore Checked Decisions](https://spin-forge.com/platform/checked-decisions) [Choose workflow capacity](https://spin-forge.com/plans?configuration=checked-decisions&product=forge15/latforge) CONNECTED WORKFLOWS ## Use LatForge in your workflow. The product remains independently available. These customer-specific solution paths use the relevant supported capabilities, with integration and delivery rights agreed separately. [09 ### Private computational deployments Use the appropriate SpinForge capability in a supported customer-controlled environment. Choose CPU execution where the product supports it and acceleration where the workload justifies it.](https://spin-forge.com/solutions/private-computation) [Explore all 17 solution workflows](https://spin-forge.com/workflows) FROM PRODUCT TO CUSTOMER WORKFLOW ## A useful outcome. A defined delivery. Commission the model, integration and acceptance work needed for your task. Existing products stay independently available. [03 / Scoped customer program ### Improve a computational workflow Commission a bounded performance improvement with source identity, numerical acceptance and the appropriate checking evidence.](https://spin-forge.com/programs/compute-improvement) [Explore decision programs](https://spin-forge.com/decision-systems) THE WHOLE-SYSTEM ROLE ## LatForge in a wider workflow. Propose useful integer-coordinate changes for compatible MIP/constraint subproblems, not only crypto workloads. POTENTIAL SYSTEM CONTRIBUTION Requires a complete integer parametrization and explicit exact transformation evidence; equal determinants alone do not prove lattice equality. [S5 · Cross-domain exact reformulation](https://spin-forge.com/system-synergies/exact-reformulation) [See this product in the map](https://spin-forge.com/system-synergies/product-map?q=LatForge) [Define an integration evaluation](https://spin-forge.com/system-synergies/evaluation) The product is independently available through CLI, MCP and headless access. The joins above are integration candidates; compatibility, authority, data rights and end-to-end benefit must be established for the selected workflow. START WITH THIS PRODUCT Use the software directly or ask us to scope the implementation. [Software access](https://spin-forge.com/plans?product=forge15/latforge) [Have us do the work](https://spin-forge.com/contact?product=forge15/latforge&delivery=engineering)