feat: aptos settlement layer (#15)

* feat(aptos_settlement_client): update state kzg & update state & verify inclusion * test(aptos_settlement_client): add update_state, state_block_number unit test * refactor code * feat(aptos_settlement_client): update state kzg & update state & verify inclusion --------- Co-authored-by: Tranduy1dol <[email protected]>
sota-zk-labs · Aug 29, 2024 · 4b10c3b · 4b10c3b
1 parent 806f6be
commit 4b10c3b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -37,5 +37,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 - `fetch_from_test` argument
 
 ## Fixed
-- 
+
+-
 - Fixed state update worker logic as per the new implementation.
diff --git a/Cargo.toml b/Cargo.toml
@@ -65,6 +65,7 @@ itertools = "0.13.0"
 mockall = "0.12.1"
 testcontainers = "0.21.1"
 
+
 # Cairo VM
 cairo-vm = { version = "=1.0.0-rc5", features = [
   "extensive_hints",

diff --git a/ionia b/ionia
+50 −0		.github/actions/setup_aptos_cli/action.yml
+7 −0		.github/aptos_cli/config.yml
+0 −22		.github/auto_assign.yml
+6 −0		.github/dependabot.yaml
+0 −17		.github/pull_request_template.md
+24 −0		.github/workflows/aptos_test.yml
+1 −5		Move.toml
+3 −3		README.md
+462 −434		gas-profiling/kzg-verify_kzg_proof/index.html
+2 −4		scripts/verify_kzg_proof.json
+5 −9		sources/blob_submission.move
+3 −15		sources/components/fact_registry.move
+17 −18		sources/components/onchain_data_fact_tree_encoded.move
+8 −17		sources/kzg/kzg_helper.move
+22 −35		sources/kzg/kzg_verify.move
+23 −32		sources/kzg/pre_compile.move
+0 −24		sources/kzg/trusted_setup.move
+10 −22		sources/libs/bytes.move
+0 −51		sources/libs/named_storage.move
+18 −37		sources/starknet_sovereign.move
+7 −7		sources/starknet_state.move
+23 −10		sources/starknet_storage.move
+127 −134		sources/starknet_validity.move