Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mzk 41 layout7 #18

Merged
merged 2 commits into from
Sep 12, 2024
Merged

Mzk 41 layout7 #18

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1e7b0ae
fix: function 'get_compiled_program'
hduoc2003 Sep 11, 2024
559625b
feat: adjust CI flow
hduoc2003 Sep 11, 2024
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: 1 addition & 1 deletion .github/workflows/aptos_test.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,4 +19,4 @@ jobs:
with:
version: 4.0.0
- name: test_contract
run: (cd libs && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd verifier && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks)
run: (cd libs && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd verifier && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd cpu && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks)
4 changes: 2 additions & 2 deletions cpu/sources/cairo_bootloader_program.move
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ module cpu_addr::cairo_bootloader_program {
}

#[view]
public fun get_compiled_program(signer: &signer): vector<u256> acquires CompiledProgram {
borrow_global<CompiledProgram>(address_of(signer)).inner
public fun get_compiled_program(signer_addr: address): vector<u256> acquires CompiledProgram {
borrow_global<CompiledProgram>(signer_addr).inner
}
}
2 changes: 1 addition & 1 deletion verifier/sources/gps/gps_statement_verifier.move
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -305,7 +305,7 @@ module verifier_addr::gps_statement_verifier {
let public_memory = vector[];
// Write public memory, which is a list of pairs (address, value).
{
let bootloader_program = get_compiled_program(signer);
let bootloader_program = get_compiled_program(address_of(signer));
let n = length(&bootloader_program);
for (i in 0..n) {
push_back(&mut public_memory, (i + INITIAL_PC as u256));
Expand Down
Loading