Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
65c9390
confidential asset: steps toward production ready
ganymedio Mar 27, 2026
82f0a7c
fix point_decompress build error, add feature flag 87 enable script
ganymedio Mar 27, 2026
cc5b1c5
add more unit tests, temp. remove other aptos_experimental modules wi…
ganymedio Mar 27, 2026
cb419b7
add movement-confidential-assets whitepaper text
ganymedio Mar 27, 2026
94bb599
add confidential assets for localnet script
ganymedio Apr 3, 2026
d3d0a0b
fix comments on registration proof
ganymedio Apr 6, 2026
cd80dcc
add rust e2e tests
ganymedio Apr 6, 2026
6d86603
include contract address as param in proofs
ganymedio Apr 7, 2026
70073ea
CA integration tests: change APT_METADATA to MOVE_METADATA
ganymedio Apr 7, 2026
ac3000b
add clarifying note in whitepaper about formula
ganymedio Apr 8, 2026
866f781
better clarification
ganymedio Apr 8, 2026
c5509d9
Lean 4 verification of verify_registration_proof with documented exte…
ganymedio Apr 9, 2026
80195ff
Lean: add symbolic Fiat–Shamir model for registration proof
ganymedio Apr 9, 2026
30a8708
add sources for specs and Move code in .lean file comments
ganymedio Apr 9, 2026
da80dea
add more data to Transferred event
ganymedio Apr 13, 2026
bb7ae31
add ek_volun_auds and auditor_hint to Transferred event
ganymedio Apr 13, 2026
e314c24
script and test updates
ganymedio Apr 14, 2026
b9c1f99
update gitignore and start-localnet-confidential-assets script
ganymedio Apr 14, 2026
f2bc26e
add more complete set of events
ganymedio Apr 14, 2026
bd0a5a9
Formal: Move bytecode model, refinement proofs, Move VM ↔ Lean diffte…
ganymedio Apr 15, 2026
ab3520a
remove sha3 512 / BIP-340 tagged hashing
ganymedio Apr 15, 2026
fe97326
Feat/move stdlib formal verification (#308)
ganymedio Apr 15, 2026
cb23e68
fix(confidential_proof): resolve batch-MSM gamma index collision (#309)
apenzk Apr 16, 2026
1497eb4
clean out formal verification code
ganymedio Apr 16, 2026
0aac3e4
more formal-related cleanup
ganymedio Apr 16, 2026
fcd0352
Delete blank line
ganymedio Apr 16, 2026
c5b3a75
delete blank line
ganymedio Apr 16, 2026
91e6c2e
feat: disable DFA support (#310)
ganymedio Apr 21, 2026
a40c4dc
remove indexer from CA localnet script
ganymedio Apr 21, 2026
345f7d1
fix: pass Object<Metadata> by value in is_asset_type_dispatchable
ganymedio Apr 26, 2026
91bd763
Merge remote-tracking branch 'origin/m1' into confidential-asset-prod
ganymedio Apr 26, 2026
e3d61f6
use local movement cli in CA tests, generate new docs
ganymedio Apr 26, 2026
f496b6c
chore(confidential-asset): bind token_address into FS transcript
ganymedio Apr 29, 2026
dda8047
fix(confidential-asset): correct `sub_balances_mut` and reject identi…
ganymedio Apr 30, 2026
c429e14
Merge branch 'm1' into confidential-asset-prod
ganymedio Apr 30, 2026
e49d3af
feat(confidential assets): add chain auditor and auditor epochs (#328)
ganymedio May 6, 2026
4dc7aaf
[Confidential Asset] Migrate confidential asset code from `aptos-expe…
ganymedio May 27, 2026
514bcfa
fix[confidential-asset]: update MAINNET_CHAIN_ID, fix get_asset_audit…
ganymedio Jun 3, 2026
21e3503
chore[confidential-asset]: remove outdate docs and feature flag 87 en…
ganymedio Jun 4, 2026
3d86d83
clore[aptos-experimental]: clean out order_book_example.move so aptos…
ganymedio Jun 4, 2026
acdf4ae
fix[confidential-asset]: rename bulletproofs DST to MovementConfide…
ganymedio Jun 4, 2026
9e8bdfe
fix[confidential-asset]: deposit or withdrawal amount must be greater…
ganymedio Jun 5, 2026
12a795f
chore[confidential-asset]: disallow self-transfer
ganymedio Jun 8, 2026
bda45e7
add confidential_asset::initialize function
ganymedio Jun 11, 2026
c9cc7d2
update start-localnet-confidential-assets.sh script
ganymedio Jun 15, 2026
b13a18f
chore(confidential-asset): remove entry from set_chain_auditor_admin
ganymedio Jun 18, 2026
31bc4ea
feat(confidential-asset): add set_asset_auditor for MOVE to scripts/s…
ganymedio Jun 18, 2026
174afeb
Merge branch 'm1' into confidential-asset-prod
musitdev Jun 25, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions aptos-move/e2e-move-tests/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -32,11 +32,13 @@ aptos-vm-environment = { workspace = true }
bcs = { workspace = true }
claims = { workspace = true }
hex = { workspace = true }
legacy-move-compiler = { workspace = true }
move-binary-format = { workspace = true }
move-core-types = { workspace = true }
move-model = { workspace = true }
move-package = { workspace = true }
move-symbol-pool = { workspace = true }
move-vm-runtime = { workspace = true }
once_cell = { workspace = true }
project-root = { workspace = true }
proptest = { workspace = true }
Expand Down
9 changes: 9 additions & 0 deletions aptos-move/e2e-move-tests/README.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,14 @@
# e2e-move-tests

## Confidential assets (`confidential_asset_e2e`)

These tests compile large Move bundles; if you see a **stack overflow** on the test thread, raise the stack before running, for example:

```bash
export RUST_MIN_STACK=8388608 # 8 MiB; same order as MSVC `/STACK:8000000` for Windows hosts
cargo test -p e2e-move-tests confidential_asset
```

## Keyless

To run the keyless VM tests:
Expand Down
Loading
Loading