Skip to content

Commit

Permalink
Merge pull request #12 from HerodotusDev/chore/pow251
Browse files Browse the repository at this point in the history
chore: add pow251 lookup
  • Loading branch information
Okm165 authored Dec 19, 2024
2 parents 7471b26 + 15fcb4f commit 6b2d5b0
Showing 1 changed file with 259 additions and 0 deletions.
259 changes: 259 additions & 0 deletions lib/utils.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -968,3 +968,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;
}

0 comments on commit 6b2d5b0

Please sign in to comment.