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

chore: add pow251 lookup #12

Merged
merged 2 commits into from
Dec 19, 2024
Merged

chore: add pow251 lookup #12

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8fccbac
chore: add pow251 lookup
petscheit Sep 24, 2024
15fcb4f
fmt
Okm165 Dec 19, 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
259 changes: 259 additions & 0 deletions lib/utils.cairo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -993,3 +993,262 @@ func pow2alloc128() -> (array: felt*) {
dw 0x80000000000000000000000000000000;
dw 0x100000000000000000000000000000000;
}

func pow2alloc251() -> (array: felt*) {
let (data_address) = get_label_location(data);
return (data_address,);

data:
dw 0x1;
dw 0x2;
dw 0x4;
dw 0x8;
dw 0x10;
dw 0x20;
dw 0x40;
dw 0x80;
dw 0x100;
dw 0x200;
dw 0x400;
dw 0x800;
dw 0x1000;
dw 0x2000;
dw 0x4000;
dw 0x8000;
dw 0x10000;
dw 0x20000;
dw 0x40000;
dw 0x80000;
dw 0x100000;
dw 0x200000;
dw 0x400000;
dw 0x800000;
dw 0x1000000;
dw 0x2000000;
dw 0x4000000;
dw 0x8000000;
dw 0x10000000;
dw 0x20000000;
dw 0x40000000;
dw 0x80000000;
dw 0x100000000;
dw 0x200000000;
dw 0x400000000;
dw 0x800000000;
dw 0x1000000000;
dw 0x2000000000;
dw 0x4000000000;
dw 0x8000000000;
dw 0x10000000000;
dw 0x20000000000;
dw 0x40000000000;
dw 0x80000000000;
dw 0x100000000000;
dw 0x200000000000;
dw 0x400000000000;
dw 0x800000000000;
dw 0x1000000000000;
dw 0x2000000000000;
dw 0x4000000000000;
dw 0x8000000000000;
dw 0x10000000000000;
dw 0x20000000000000;
dw 0x40000000000000;
dw 0x80000000000000;
dw 0x100000000000000;
dw 0x200000000000000;
dw 0x400000000000000;
dw 0x800000000000000;
dw 0x1000000000000000;
dw 0x2000000000000000;
dw 0x4000000000000000;
dw 0x8000000000000000;
dw 0x10000000000000000;
dw 0x20000000000000000;
dw 0x40000000000000000;
dw 0x80000000000000000;
dw 0x100000000000000000;
dw 0x200000000000000000;
dw 0x400000000000000000;
dw 0x800000000000000000;
dw 0x1000000000000000000;
dw 0x2000000000000000000;
dw 0x4000000000000000000;
dw 0x8000000000000000000;
dw 0x10000000000000000000;
dw 0x20000000000000000000;
dw 0x40000000000000000000;
dw 0x80000000000000000000;
dw 0x100000000000000000000;
dw 0x200000000000000000000;
dw 0x400000000000000000000;
dw 0x800000000000000000000;
dw 0x1000000000000000000000;
dw 0x2000000000000000000000;
dw 0x4000000000000000000000;
dw 0x8000000000000000000000;
dw 0x10000000000000000000000;
dw 0x20000000000000000000000;
dw 0x40000000000000000000000;
dw 0x80000000000000000000000;
dw 0x100000000000000000000000;
dw 0x200000000000000000000000;
dw 0x400000000000000000000000;
dw 0x800000000000000000000000;
dw 0x1000000000000000000000000;
dw 0x2000000000000000000000000;
dw 0x4000000000000000000000000;
dw 0x8000000000000000000000000;
dw 0x10000000000000000000000000;
dw 0x20000000000000000000000000;
dw 0x40000000000000000000000000;
dw 0x80000000000000000000000000;
dw 0x100000000000000000000000000;
dw 0x200000000000000000000000000;
dw 0x400000000000000000000000000;
dw 0x800000000000000000000000000;
dw 0x1000000000000000000000000000;
dw 0x2000000000000000000000000000;
dw 0x4000000000000000000000000000;
dw 0x8000000000000000000000000000;
dw 0x10000000000000000000000000000;
dw 0x20000000000000000000000000000;
dw 0x40000000000000000000000000000;
dw 0x80000000000000000000000000000;
dw 0x100000000000000000000000000000;
dw 0x200000000000000000000000000000;
dw 0x400000000000000000000000000000;
dw 0x800000000000000000000000000000;
dw 0x1000000000000000000000000000000;
dw 0x2000000000000000000000000000000;
dw 0x4000000000000000000000000000000;
dw 0x8000000000000000000000000000000;
dw 0x10000000000000000000000000000000;
dw 0x20000000000000000000000000000000;
dw 0x40000000000000000000000000000000;
dw 0x80000000000000000000000000000000;
dw 0x100000000000000000000000000000000;
dw 0x200000000000000000000000000000000;
dw 0x400000000000000000000000000000000;
dw 0x800000000000000000000000000000000;
dw 0x1000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000000000000000;
dw 0x1000000000000000000000000000000000000000000000000000000000000;
dw 0x2000000000000000000000000000000000000000000000000000000000000;
dw 0x4000000000000000000000000000000000000000000000000000000000000;
dw 0x8000000000000000000000000000000000000000000000000000000000000;
dw 0x10000000000000000000000000000000000000000000000000000000000000;
dw 0x20000000000000000000000000000000000000000000000000000000000000;
dw 0x40000000000000000000000000000000000000000000000000000000000000;
dw 0x80000000000000000000000000000000000000000000000000000000000000;
dw 0x100000000000000000000000000000000000000000000000000000000000000;
dw 0x200000000000000000000000000000000000000000000000000000000000000;
dw 0x400000000000000000000000000000000000000000000000000000000000000;
dw 0x800000000000000000000000000000000000000000000000000000000000000;
}
Loading