Skip to content

Commit

Permalink
chore: add pow251 lookup
Browse files Browse the repository at this point in the history
  • Loading branch information
@petscheit
petscheit committed Sep 24, 2024
1 parent 23da65c commit 8fccbac
Showing 1 changed file with 259 additions and 0 deletions.
259 changes: 259 additions & 0 deletions lib/utils.cairo
View file
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;
}

0 comments on commit 8fccbac

Please sign in to comment.