Product documentation — installation, licensing, and integration guides.
Blockchain Arithmetic
Overview

Blockchain Arithmetic

Release: Beta — core workflows available; some capabilities still maturing

Deterministic on-chain integer arithmetic for DeFi and smart contracts

Blockchain Arithmetic brings Resonix deterministic integer arithmetic to smart contracts and DeFi protocol math. Two product families:

  1. SolvNum On-Chain — overflow-immune, truncation-free, order-independent integer arithmetic replacing FullMath / SafeMath / custom fixed-point in Solidity and WASM.
  2. Rate Governor — per-operation rate limiter capping MEV extraction and fee volatility.

Research characterization is complete. The production C library (v1.3.0) ships integer + Mimblewimble EC operations, MW block model, and Bulletproof cost model with Ed25519 licensing. Solidity/WASM deployment artifacts are on the release roadmap.

What it does

Smart contracts and DeFi protocols do integer arithmetic under tight gas and safety constraints. Standard patterns (FullMath, SafeMath, custom fixed-point) fail in predictable ways: division ordering changes results, intermediate products overflow, vault share calculations inflate on donation attacks, and fee markets oscillate.

Blockchain Arithmetic ships deterministic integer primitives validated in C and exposed in Python: fixed-point multiply-divide, AMM share math, and Bulletproof cost models for privacy/audit sizing. These are the building blocks you embed in Solidity/WASM — the on-chain deployment artifacts follow the same semantics as the shipped native library.

When to use it

Use when you are building or auditing DeFi math, L2 arithmetic, or privacy-chain protocols and need overflow-safe, order-independent integer operations with test coverage.

See Examples for runnable code.

Who it is for

  • DeFi protocol teams and DEX developers
  • L1/L2 chain architects needing consensus-safe arithmetic
  • Smart contract audit firms evaluating integer overflow and ordering bugs

What ships

  • C library v1.3.0 (libblockchain_arithmetic) — integer EC, MW block model
  • Python wheel (blockchain_arithmetic)
  • Solidity/WASM smart contract library (roadmap)

Related products

See also SolvNum — the parent deterministic-arithmetic product line.

LicensingInstall