Capability

re-executable receipts

Suppliers: 1
States & provinces: 1
Countries: 1

1 re-executable receipts supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

Anomly builds the arithmetic, runtime and receipt format that let anyone prove what an AI computation actually did, on any hardware, after the fact. Its b-posit arithmetic with a 256-bit exact accumulator gives bit-exact results across hardware. INVAR is its open-source, OpenAI-compatible local inference endpoint where every inference writes a re-executable receipt. Founded 2019 in the Washington DC area.

b-posit arithmeticCUDA kernelsdeterministic inferenceexact 256-bit accumulatorformal verificationFPGA implementationRTL designsilicon tapeout on 130 nm

Related capabilities

Other processes offered by the shops that list re-executable receipts.

b-posit arithmetic (1)
CUDA kernels (1)
deterministic inference (1)
exact 256-bit accumulator (1)
formal verification (1)
FPGA implementation (1)
RTL design (1)
silicon tapeout on 130 nm (1)

Browse all capabilities

re-executable receipts

Suppliers

ANOMLY, LLC

Related capabilities