Audited Source Contract

The Kernax ERC-3643 protocol — open source, formally verified by CertiK, and deployed live on Polygon. Read the exact function signatures that govern minting, transfers, redemption, and recovery.

Public Function Surface

Excerpted from KernaxAsset.sol — full file on GitHub

mintFractional(address to, uint256 carats)

Issues new ERC-3643 tokens against a verified physical deposit. Restricted to Trusted Issuer role.

transfer(address to, uint256 amount)

Standard transfer, but reverts if recipient is not whitelisted in the Identity Registry.

redeemPhysical(uint256 assetId)

Burns the caller's full position for a given asset and emits a DeliveryRequested event consumed by the off-chain custody pipeline.

freezeAndReissue(address lost, address recovery)

Trusted Issuer can freeze a lost wallet's tokens and re-issue them to a verified recovery wallet after KYC re-attestation.

attachCarbonBundle(uint256 assetId, bytes32 hash)

Binds an off-chain carbon offset bundle hash to a specific gemstone for CBAM compliance calculations.

Burn-to-Wear semantics

When a wallet holds 100% of a single asset's carat supply and calls redeemPhysical, the contract: (1) burns the caller's tokens, (2) emits DeliveryRequested with the asset ID and delivery address, and (3) retires the attached carbon bundle. The off-chain custody pipeline picks up the event and dispatches the physical gem via insured transit.

Deployment Details

Network
Polygon PoS Mainnet
Contract Address
0x71C5...3A9f
Solidity Version
0.8.22
Auditor
CertiK (99/100)
View Audit Report →