Daniel Lubarov
218f689422
Fix prohibited macro names
2022-09-21 13:10:16 -07:00
Dmitry Vagner
64041e1c59
Merge branch 'main' of github.com:mir-protocol/plonky2 into ripeMD
2022-09-21 12:54:24 -07:00
Dmitry Vagner
3b0dda77f2
fix test
2022-09-21 12:54:19 -07:00
Daniel Lubarov
f876a8ab02
Fix macro vars in %stack directive
2022-09-21 08:42:56 -07:00
Dmitry Vagner
bb968bd725
it runs (but forever...)
2022-09-20 21:40:22 -07:00
Dmitry Vagner
172bde8028
everything is parsing
2022-09-20 10:29:43 -07:00
Dmitry Vagner
9f1e97edc4
fix bugs
2022-09-20 10:11:45 -07:00
Dmitry Vagner
c127f80bfa
add to include files
2022-09-20 10:00:40 -07:00
Dmitry Vagner
e36c17b653
test
2022-09-19 19:12:38 -07:00
Dmitry Vagner
5d25683b13
test running
2022-09-19 19:06:48 -07:00
Dmitry Vagner
a6f72ee315
alt api for testing
2022-09-19 19:04:22 -07:00
Dmitry Vagner
76d50f336c
duplicate macro, test skeleton
2022-09-19 18:38:43 -07:00
Dmitry Vagner
aa862b7662
delete needless
2022-09-19 18:15:22 -07:00
Dmitry Vagner
d032b7fbfb
merge
2022-09-19 18:13:00 -07:00
Dmitry Vagner
6193827733
finish??
2022-09-19 18:11:07 -07:00
Dmitry Vagner
e151be5522
ripemd storage
2022-09-19 12:09:57 -07:00
Dmitry Vagner
e1a1b05b13
update skeleton
2022-09-18 11:05:00 -07:00
Dmitry Vagner
ffbb6fc617
outer function
2022-09-18 10:20:25 -07:00
Daniel Lubarov
3fc7996d79
Merge pull request #683 from mir-protocol/call_common
...
Fill in call_common routine
2022-09-17 12:00:49 -07:00
Dmitry Vagner
fa69f2a7fb
remove jumpdests / add macro
2022-09-16 19:18:26 -07:00
Dmitry Vagner
5163968747
remove jumpdests / fix name
2022-09-16 10:31:30 -07:00
Dmitry Vagner
32cf13da61
update
2022-09-16 10:12:21 -07:00
Dmitry Vagner
145eb5865b
flip bytes of a u32 macro
2022-09-15 11:02:03 -07:00
Dmitry Vagner
f09aec1b6c
scale indices by 4
2022-09-15 09:27:51 -07:00
Dmitry Vagner
d8ac2ced74
diff name
2022-09-15 09:24:50 -07:00
Dmitry Vagner
8049a5dabb
consume offset
2022-09-15 09:22:22 -07:00
Dmitry Vagner
e86c7034bc
load little endian
2022-09-15 09:21:19 -07:00
Nicholas Ward
a5f34d9a2e
fix
2022-09-13 22:03:25 -07:00
Nicholas Ward
b25986ce57
parentheses change
2022-09-13 22:03:25 -07:00
Dmitry Vagner
b08a5772d3
allow offset variable
2022-09-13 14:32:41 -07:00
Nicholas Ward
e4ab93fe9a
Merge pull request #714 from mir-protocol/stack-manipulation-blocks
...
blocks in stack manipulation
2022-09-11 23:00:39 -07:00
Jacqueline Nabaglo
cae5f4870c
Stack pointer + underflow/overflow checks ( #710 )
...
* Stack pointer + underflow/overflow checks
* Daniel comments
* Extra docs
2022-09-10 13:20:30 -07:00
Dmitry Vagner
cf80668ce3
formatting
2022-09-09 17:42:49 -07:00
Dmitry Vagner
64e9f6f0fb
final error and formatting
2022-09-09 17:38:36 -07:00
Nicholas Ward
0b9881c5e3
blocks in stack manipulation
2022-09-09 12:05:58 -07:00
Dmitry Vagner
9561dceb39
fix
2022-09-08 20:16:51 -07:00
Dmitry Vagner
3bfb994cbd
fix errors
2022-09-08 19:35:37 -07:00
Dmitry Vagner
7ed78c22a3
minor errors
2022-09-08 15:47:18 -07:00
Daniel Lubarov
fdb6cafe18
Fill in call_common routine
2022-09-07 16:42:21 -07:00
Daniel Lubarov
9b259cb917
Feedback
2022-09-05 10:12:23 -07:00
Daniel Lubarov
aaf7ace396
Remove JUMPDESTs
2022-09-04 22:31:56 -07:00
Daniel Lubarov
f2f291606b
Merge pull request #702 from mir-protocol/keccak_sponge_table_v2
...
Keccak sponge STARK
2022-09-04 22:21:21 -07:00
Nicholas Ward
df15031145
clippy: remove unused 'peekable'
2022-09-02 15:40:24 -07:00
Daniel Lubarov
2c77247d43
Keccak sponge STARK
...
It contains a row for each absorb step of the sponge.
2022-09-01 09:41:19 -07:00
Jacqueline Nabaglo
4c52d37546
Save columns by verifying invalid opcodes in software ( #701 )
...
* Save columns by verifying invalid opcodes in software
* Autogenerate invalid opcode bitfield (Daniel comment)
* Remove unnecessary panic label
2022-08-30 13:06:03 -07:00
Daniel Lubarov
8505d64e37
Fill in keccakf_u32s
2022-08-30 12:28:08 -07:00
Jacqueline Nabaglo
013bf6471d
Transpose memory columns (make it an array of channel structs) ( #700 )
2022-08-26 22:05:16 -07:00
Jacqueline Nabaglo
f48de368a9
Make jumps, logic, and syscalls read from/write to memory columns ( #699 )
...
* Make jumps, logic, and syscalls read from/write to memory columns
* Change CTL convention (outputs precede inputs)
* Change convention so outputs follow inputs in memory channel order
2022-08-26 14:39:39 -07:00
Daniel Lubarov
d0be79e822
Feedback
2022-08-25 23:35:38 -07:00
Daniel Lubarov
aa87f2c3ba
Public memory
2022-08-25 20:19:18 -07:00