wborgeaud
11666f02d2
Clippy
2022-09-11 19:16:39 +02:00
wborgeaud
554f62fd72
Merge pull request #712 from mir-protocol/comment_batch_opening
...
Document batch opening function
2022-09-11 18:56:12 +02: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
Daniel Lubarov
09f062481a
Merge pull request #705 from mir-protocol/packed_len_div
...
Use `ceil_div_usize` for `PACKED_LEN`
2022-09-08 09:59:31 -07:00
Daniel Lubarov
e127d5a4b1
Merge pull request #713 from mir-protocol/tweak_features
...
Tweak features
2022-09-07 15:57:27 -07:00
Daniel Lubarov
19162db596
Tweak features
2022-09-07 15:10:40 -07:00
Daniel Lubarov
8c275c49f2
Merge pull request #711 from proxima-one/add_flat_map_iter
...
Add `flat_map_iter` to `maybe_rayon`
2022-09-07 15:03:50 -07:00
wborgeaud
f1e21ffb5d
More comment
2022-09-07 20:57:38 +02:00
wborgeaud
8fd4fc4304
Minor
2022-09-07 16:49:23 +02:00
Daniel Lubarov
7fbbd301a7
Update paper
2022-09-07 07:46:43 -07:00
wborgeaud
6f98d6bc03
Comment batch opening
2022-09-07 16:46:27 +02:00
Sladuca
aa0f0f6e75
add other features back
2022-09-06 15:10:55 -04:00
Sladuca
aaba931e4d
fmt
2022-09-06 14:58:42 -04:00
Sladuca
e72152eed8
fix default features in starky & evm
2022-09-06 14:56:48 -04:00
Sladuca
f496711b21
add flat_map_iter to maybe_rayon & feature-gate it
2022-09-06 14:56:04 -04:00
Nicholas Ward
d5fbcae3f8
Merge pull request #692 from mir-protocol/gate_documentation
...
Gate documentation
2022-09-06 09:38:38 -07:00
BGluth
c874fc5488
Merge pull request #704 from mir-protocol/partial_trie_derive
...
Added a few derives to `Trie` types
2022-09-06 07:14:30 -07:00
Daniel Lubarov
405f24b44e
Merge pull request #706 from mir-protocol/remove_jumpdests
...
Remove `JUMPDEST`s
2022-09-05 10:12:54 -07:00
Daniel Lubarov
9b259cb917
Feedback
2022-09-05 10:12:23 -07:00
Daniel Lubarov
92a0075ac9
Merge pull request #707 from mir-protocol/par_fri_queries
...
Compute answers to FRI queries in parallel
2022-09-05 10:06:51 -07:00
Daniel Lubarov
1c2e94f9fc
Compute answers to FRI queries in parallel
...
It shaved off much less than a millisecond, so it's rather negligible, but the code came out simpler so might as well.
2022-09-04 22:46:16 -07:00
Daniel Lubarov
aaf7ace396
Remove JUMPDESTs
2022-09-04 22:31:56 -07:00
Daniel Lubarov
99999f1697
Use ceil_div_usize for PACKED_LEN
2022-09-04 22:28:45 -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
Daniel Lubarov
496581cfa1
fix
2022-09-04 17:07:06 -07:00
Daniel Lubarov
46cf46ccd8
Minor
2022-09-04 16:56:17 -07:00
Daniel Lubarov
c9cfcecc9f
Logic CTL for xor
2022-09-04 16:53:04 -07:00
Daniel Lubarov
d392ec04e7
Feedback
2022-09-03 23:02:06 -07:00
BGluth
0a3455ce48
Added a few derives to Trie types
...
- A downstream project needed `Hash` on `Nibbles`, but I also thought it
made sense to derive a few other core types as well.
2022-09-02 16:18:54 -07:00
Nicholas Ward
dc69d6afbd
clippy fix: 'needless borrow'
2022-09-02 15:40:51 -07:00
Nicholas Ward
c80bc9f2b4
fmt
2022-09-02 15:40:51 -07:00
Nicholas Ward
1ca46f76e5
fixes
2022-09-02 15:40:51 -07:00
Nicholas Ward
3e38865828
documentation
2022-09-02 15:40:51 -07:00
Nicholas Ward
336046d872
cleanup for interpolation
2022-09-02 15:40:51 -07:00
Nicholas Ward
ba28919d66
more comment fix
2022-09-02 15:40:51 -07:00
Nicholas Ward
b93f92e67e
comment fix
2022-09-02 15:40:51 -07:00
Nicholas Ward
0ac0975d95
RandomAccessGate documentation
2022-09-02 15:40:51 -07:00
Nicholas Ward
df15031145
clippy: remove unused 'peekable'
2022-09-02 15:40:24 -07:00
Nicholas Ward
f59431da31
clippy fix: 'needless borrow'
2022-09-02 11:59:55 -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
BGluth
ccc2a56b81
Added let_chains feature gates
...
- Nightly decided to move this behind a feature gate and caused builds
to fail.
2022-09-01 09:40:39 -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
97ead0793f
Merge pull request #703 from mir-protocol/keccak_util
...
Fill in `keccakf_u32s`
2022-08-30 12:56:56 -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
Nicholas Ward
08758a3b9d
newline
2022-08-26 15:47:26 -07:00
Nicholas Ward
6087df5b4f
Merge pull request #698 from proxima-one/cleaner-witness-extension
...
cleaner interface for witness extension methods in `u32` and `ecdsa`
2022-08-26 15:47:00 -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
Sladuca
356c7cd925
fmt
2022-08-26 16:10:44 -04:00
Sladuca
8aa3ed0997
cleaner witness extension
2022-08-26 16:10:34 -04:00
