Confidential Assets: On-Chain Production Readiness - #299

Open

ganymedio wants to merge 48 commits into

m1from

confidential-asset-prod

Commits on Apr 3, 2026

add confidential assets for localnet script
ganymedio
committed

Commits on Apr 6, 2026

Commits on Apr 7, 2026

Commits on Apr 8, 2026

Commits on Apr 9, 2026

Lean 4 verification of verify_registration_proof with documented external obligations
ganymedio
committed
Lean: add symbolic Fiat–Shamir model for registration proof
ganymedio
committed
add sources for specs and Move code in .lean file comments
ganymedio
committed

Commits on Apr 13, 2026

Commits on Apr 14, 2026

Commits on Apr 15, 2026

Commits on Apr 21, 2026

Commits on Apr 26, 2026

Commits on Apr 29, 2026

chore(confidential-asset): bind token_address into FS transcript
ganymedio
committed

Commits on Apr 30, 2026

Commits on May 6, 2026

feat(confidential assets): add chain auditor and auditor epochs (#328)
ganymedio
authored

Commits on May 27, 2026

[Confidential Asset] Migrate confidential asset code from `aptos-experimental` to `aptos-framework` (#366)
ganymedio
authored

Commits on Jun 3, 2026

fix[confidential-asset]: update MAINNET_CHAIN_ID, fix get_asset_auditor unreachable branch
ganymedio
committed

Commits on Jun 4, 2026

Commits on Jun 5, 2026

fix[confidential-asset]: deposit or withdrawal amount must be greater than 0
ganymedio
committed

Commits on Jun 8, 2026

chore[confidential-asset]: disallow self-transfer
ganymedio
committed

Commits on Jun 11, 2026

add confidential_asset::initialize function
ganymedio
committed

Commits on Jun 15, 2026

update start-localnet-confidential-assets.sh script
ganymedio
committed

Commits on Jun 18, 2026

Commits on Jun 25, 2026

Merge branch 'm1' into confidential-asset-prod
musitdev
committed