Polynomial Multiplier | Dyber IP Cores

Overview

NTT-domain polynomial arithmetic.

NTT-domain polynomial base multiplication for ML-KEM. Takes two NTT-domain polynomials and produces their product. Part of the shared primitive layer reused across KEM and signature operations.

Key Features

Core capabilities.

NTT-domain base multiplication
Pairs with NTT core for full polynomial arithmetic

Benefits

Why this core.

Efficient polynomial multiplication via NTT-domain computation
Shared across KEM and signature datapath

Standards & Verification

Compliance and verification.

Standards

NIST FIPS 203

Compliant with the NIST FIPS 203 standard for ML-KEM polynomial arithmetic.

Verification

Compositional Verification

Verified by composition: INTT of basemul equals the negacyclic convolution product.

Note: "Verified" means RTL byte-exact against official test vectors. It does not imply FIPS 140-3 certification or foundry sign-off.

Availability & Deliverables

What you receive.

Status: Available (verified soft IP)

Standard deliverables

Synthesizable SystemVerilog RTL
Self-checking testbench(es)
Python golden reference model
cocotb regression
Synthesis scripts
Integration/user guide

Firm/hard IP (hardened netlist for a target node) available on foundry enablement.

Request a product brief.

Get detailed specifications, integration guidance, and licensing options for the Polynomial Multiplier core.

Polynomial Multiplier.