Daniel Lubarov
f0a23a7f07
Merge pull request #693 from mir-protocol/partial_trie
...
Have witness generation take a partial trie instead of Merkle proofs
2022-08-25 08:48:47 -07:00
Daniel Lubarov
6b3853592b
Feedback
2022-08-25 08:05:39 -07:00
Daniel Lubarov
ff228c9386
Have witness generation take a partial trie instead of Merkle proofs
2022-08-24 20:43:49 -07:00
Daniel Lubarov
095140fda5
Use KECCAK_WIDTH_BYTES
2022-08-24 20:10:58 -07:00
Daniel Lubarov
aebcdd52cf
Merge pull request #691 from mir-protocol/remove_keccak_rust
...
Remove keccak_rust in favor of tiny-keccak
2022-08-24 20:09:32 -07:00
Daniel Lubarov
4112065692
Fix
2022-08-24 16:06:50 -07:00
Daniel Lubarov
fb34b09888
Remove keccak_rust in favor of tiny-keccak
...
`keccak_rust` doesn't seem to have much usage, and it treats `x` as the major axis of its 5x5 input. This is not exactly wrong, since Keccak itself doesn't have a notion of axis order. However, there is a convention for mapping bits of the cube to a flat list of bits, which is
> The mapping between the bits of `s` and those of `a` is `s[w(5y + x) + z] = a[x][y][z]`.
Obeying this convention would be awkward with `keccak_rust` - the words in memory would need to be transposed.
2022-08-24 15:48:02 -07:00
Daniel Lubarov
c140555f2b
Fix
2022-08-24 11:53:27 -07:00
Daniel Lubarov
74cb9074d6
Minor fixes
2022-08-24 11:51:30 -07:00
Daniel Lubarov
7144b1e08c
Merge pull request #690 from mir-protocol/include_degree_in_circuit_digest
...
Include degree in circuit digest
2022-08-24 10:39:43 -07:00
Daniel Lubarov
748496442b
Include degree in circuit digest
2022-08-24 10:28:50 -07:00
Daniel Lubarov
522cac5e15
Keccak memory stark
2022-08-24 09:29:17 -07:00
Daniel Lubarov
54862cb71c
Merge pull request #687 from mir-protocol/simpler_memory
...
Simpler CPU <-> memory CTL
2022-08-24 07:05:10 -07:00
Daniel Lubarov
3a73b7333e
Merge pull request #689 from mir-protocol/ctl_challenge_fix
...
Fix for CTL challenges
2022-08-24 06:46:47 -07:00
Daniel Lubarov
c38a98f9e4
Simpler CPU <-> memory CTL
2022-08-23 23:38:28 -07:00
Daniel Lubarov
8e220ac623
Fix for CTL challenges
...
See this line -
```rust
challenges: ctl_data.challenges.challenges[i % config.num_challenges],
```
This doesn't work if we have multiple lookers from the same table; then `zs_columns` will contain multiple contiguous entries for the same challenge.
We could fix the index calculation, but it seems a bit error-prone. Seems easier to store the specific challenge as part of `zs_columns`.
2022-08-23 23:30:52 -07:00
BGluth
881dceb154
Merge pull request #679 from mir-protocol/build_artifact_caching
...
Added caching for GitHub Workflows
2022-08-23 14:55:33 -06:00
Daniel Lubarov
9da698f08d
Merge pull request #686 from mir-protocol/revert-682-ctl_prev
...
Revert "Support accessing local row in CTLs"
2022-08-23 12:23:18 -07:00
Daniel Lubarov
782d7d0e18
Revert "Support accessing local row in CTLs"
2022-08-23 12:22:54 -07:00
Daniel Lubarov
c3c213350f
Merge pull request #685 from mir-protocol/deterministic_iteration_order
...
Enumerate `constants_to_targets` in a deterministic order
2022-08-23 11:59:27 -07:00
Daniel Lubarov
cc02371e92
Merge pull request #682 from mir-protocol/ctl_prev
...
Support accessing local row in CTLs
2022-08-23 11:26:59 -07:00
Daniel Lubarov
1b9c4778d8
Enumerate constants_to_targets in a deterministic order
...
Fixes #684 .
2022-08-23 11:25:00 -07:00
Daniel Lubarov
00081890f3
feedback
2022-08-23 10:23:28 -07:00
Daniel Lubarov
03657643c8
Merge pull request #680 from qope/ECDSAPublicKeyTarget_ECDSASecretKeyTarget_public_fields
...
Change visibility of `ECDSASecretKeyTarget` and `ECDSAPublicKeyTarget`'s fields
2022-08-22 23:54:23 -07:00
Daniel Lubarov
ce456fb8ea
Merge pull request #665 from mir-protocol/trie_metadata
...
Trie related segments and metadata
2022-08-22 17:30:28 -07:00
Daniel Lubarov
a37dec9881
Support accessing previous row in CTLs
2022-08-22 15:20:10 -07:00
BGluth
47753e08d5
Testing forcing caching of local packages
2022-08-22 15:15:48 -06:00
Daniel Lubarov
776b93e1ac
Merge pull request #681 from mir-protocol/poly_values_check
...
Check each `PolynomialValues` len
2022-08-22 11:32:53 -07:00
Daniel Lubarov
e87392bdba
comment
2022-08-22 11:32:36 -07:00
Daniel Lubarov
464b23297c
Check each PolynomialValues len
...
I.e. that it is the length of some power-of-two subgroup.
2022-08-22 11:16:24 -07:00
qope
2191296639
Change visibility of ECDSASecretKeyTarget and ECDSAPublicKeyTarget's fields
2022-08-22 19:46:44 +09:00
Daniel Lubarov
8a8b3f36aa
Merge pull request #678 from proxima-one/fix-starky-avx
...
Fix starky avx
2022-08-21 12:06:39 -07:00
BGluth
3c3997b726
Added caching for GitHub Workflows
2022-08-20 14:26:03 -06:00
Daniel Lubarov
3a6bbd825c
Merge pull request #677 from mir-protocol/u160_comments
...
Tweak comments
2022-08-19 18:28:49 -07:00
Daniel Lubarov
a0de1869c2
Merge pull request #676 from mir-protocol/from_biguint_change
...
Change `from_biguint`'s behavior with extension fields
2022-08-19 18:28:37 -07:00
Sladuca
ca35502660
fmt
2022-08-19 17:54:48 -04:00
Sladuca
3eadc27be5
add fix to evm
2022-08-19 17:53:12 -04:00
Sladuca
ff961a34a3
fix lost evals when P::WIDTH > 0
2022-08-19 17:39:55 -04:00
Daniel Lubarov
831a671872
Tweak comments
2022-08-19 10:35:02 -07:00
Daniel Lubarov
2fd5fbbe01
Change from_biguint's behavior with extension fields
...
These appear to be unused for extension fields, so we're free to change the mapping without breaking anything.
As the TODO says, the mapping that's currently implemented doesn't seem natural or useful. It seems more natural to treat the `BigUint` as a base field element, potentially in a non-canonical form.
2022-08-19 09:21:10 -07:00
Daniel Lubarov
cbfc13c33f
Minor paper update
2022-08-18 08:50:49 -07:00
Jacqueline Nabaglo
5922c58730
Change logic limb size to 32 bits ( #674 )
...
* Change logic limb size to 32 bits
* Remove unnecessary columns (thx Daniel!)
2022-08-17 21:19:27 -07:00
Daniel Lubarov
e3d131b99d
Update paper
2022-08-17 16:29:30 -07:00
Daniel Lubarov
24cc29ff71
Merge pull request #673 from mir-protocol/start_at_route_txn
...
Start with PC=route_txn instead of 0
2022-08-17 12:57:38 -07:00
Daniel Lubarov
bfe86d70f5
Start with PC=route_txn instead of 0
2022-08-17 12:21:29 -07:00
Jacqueline Nabaglo
b98dd47820
Permission levels, jumps, traps ( #653 )
...
* Permission levels, jumps, traps
* Tests passing
* PR comments + documentation
* Docs + minor bugfixes
* Tests
* Use already-defined `stop` and `exception` (but renamed to `sys_stop`, `fault_exception`)
* Daniel comments
2022-08-16 09:46:10 -07:00
Daniel Lubarov
a7618ef7df
Merge branch 'licenses'
2022-08-16 09:01:16 -07:00
Daniel Lubarov
2bb2be37e0
Merge pull request #668 from mir-protocol/inverse_2exp_comment
...
Expand inverse_2exp comment
2022-08-15 17:17:48 -07:00
Daniel Lubarov
bf4e7ff3b7
Feedback
2022-08-15 17:17:05 -07:00
Daniel Lubarov
c56b7c8118
Expand inverse_2exp comment
2022-08-15 16:17:32 -07:00
