-
Notifications
You must be signed in to change notification settings - Fork 50
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(proto): support 256-bit numerics
- Loading branch information
Showing
25 changed files
with
2,029 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Large diffs are not rendered by default.
Oops, something went wrong.
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
Binary file not shown.
Large diffs are not rendered by default.
Oops, something went wrong.
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,100 @@ | ||
00000000 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000010 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000020 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000030 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000040 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000050 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000060 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000070 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000080 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000090 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000a0 05 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000c0 06 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000e0 07 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000100 08 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000110 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000120 09 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000130 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000140 0a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000150 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000160 0b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000170 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000180 0c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000190 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001a0 0d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001c0 0e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001e0 0f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000200 10 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000210 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000220 11 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000230 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000240 12 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000250 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000260 13 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000270 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000280 14 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000290 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002a0 15 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002c0 16 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002e0 17 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000300 18 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000310 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000320 19 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000330 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000340 1a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000350 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000360 1b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000370 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000380 1c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000390 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003a0 1d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003c0 1e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003e0 1f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000400 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ...............| | ||
00000410 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000420 21 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |!...............| | ||
00000430 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000440 22 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |"...............| | ||
00000450 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000460 23 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |#...............| | ||
00000470 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000480 24 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |$...............| | ||
00000490 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004a0 25 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |%...............| | ||
000004b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004c0 26 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |&...............| | ||
000004d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004e0 27 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |'...............| | ||
000004f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000500 28 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |(...............| | ||
00000510 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000520 29 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |)...............| | ||
00000530 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000540 2a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |*...............| | ||
00000550 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000560 2b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |+...............| | ||
00000570 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000580 2c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |,...............| | ||
00000590 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005a0 2d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |-...............| | ||
000005b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005c0 2e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005e0 2f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |/...............| | ||
000005f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000600 30 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |0...............| | ||
00000610 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000620 31 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |1...............| | ||
00000630 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| |
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,100 @@ | ||
00000000 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000010 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000020 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000030 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000040 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000050 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000060 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000070 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000080 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000090 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000a0 05 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000c0 06 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000e0 07 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000000f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000100 08 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000110 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000120 09 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000130 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000140 0a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000150 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000160 0b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000170 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000180 0c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000190 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001a0 0d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001c0 0e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001e0 0f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000001f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000200 10 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000210 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000220 11 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000230 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000240 12 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000250 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000260 13 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000270 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000280 14 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000290 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002a0 15 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002c0 16 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002e0 17 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000002f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000300 18 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000310 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000320 19 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000330 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000340 1a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000350 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000360 1b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000370 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000380 1c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000390 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003a0 1d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003c0 1e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003e0 1f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000003f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000400 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ...............| | ||
00000410 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000420 21 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |!...............| | ||
00000430 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000440 22 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |"...............| | ||
00000450 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000460 23 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |#...............| | ||
00000470 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000480 24 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |$...............| | ||
00000490 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004a0 25 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |%...............| | ||
000004b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004c0 26 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |&...............| | ||
000004d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000004e0 27 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |'...............| | ||
000004f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000500 28 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |(...............| | ||
00000510 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000520 29 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |)...............| | ||
00000530 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000540 2a 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |*...............| | ||
00000550 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000560 2b 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |+...............| | ||
00000570 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000580 2c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |,...............| | ||
00000590 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005a0 2d 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |-...............| | ||
000005b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005c0 2e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
000005e0 2f 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |/...............| | ||
000005f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000600 30 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |0...............| | ||
00000610 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| | ||
00000620 31 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |1...............| | ||
00000630 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 |................| |
Binary file not shown.
Oops, something went wrong.