wborgeaud
693fd4f8d6
Minor
2021-08-05 13:51:26 +02:00
wborgeaud
83fe4d5cc0
Update comment
2021-08-05 13:48:37 +02:00
wborgeaud
5418026082
Remove reversed sum from BaseSumGate
2021-08-05 13:47:33 +02:00
Daniel Lubarov
d6211b8ab8
Reuse a buffer of generated values ( #142 )
...
* Reuse a buffer of generated values
To avoid allocating `GeneratedValues` all the time. Saves ~60ms or so.
* PR feedback
2021-08-02 10:55:10 -07:00
wborgeaud
2bbcf17699
Test eval_unfiltered_* functions
2021-08-02 14:17:42 +02:00
Daniel Lubarov
018fb005f8
Move stuff around ( #135 )
...
No functional changes here. The biggest change was moving certain files into new directories like `plonk` and `iop` (for things like `Challenger` that could be used in STARKs or other IOPs). I also split a few files, renames, etc, but again nothing functional, so I don't think a careful review is necessary (just a sanity check).
2021-07-29 22:00:29 -07:00
Daniel Lubarov
e382decc9f
Import fixes
2021-07-29 11:45:58 -07:00
Nicholas Ward
2fd9ce2114
fixes to exp functions
2021-07-28 13:38:41 -07:00
Daniel Lubarov
bcf524bed0
Have add_gate take a generic type instead of GateRef ( #125 )
...
* Have add_gate take a generic type instead of GateRef
There are a couple advantages
- Users writing their own gates won't need to know about the `GateRef` wrapper; it's more of an internal thing now.
- Easier access to gate methods requiring `self` -- for example, `split_le_base` can just call `gate_type.limbs()` now.
* Update comment
* Always insert
2021-07-22 23:48:03 -07:00
wborgeaud
3a24e8f4c1
Manually implement eval_unfiltered_base for all gates
2021-07-22 14:00:55 +02:00
Daniel Lubarov
eb18c7ea33
Faster witness generation ( #116 )
...
Saves ~300ms in the test. The main change is to have generators return fixed-size `Vec`s instead of `HashMap`s, which have more overhead.
2021-07-21 08:26:34 -07:00
wborgeaud
fe05da6720
Clipp
2021-07-15 10:39:57 +02:00
wborgeaud
5edaab59e6
Renaming + Clippy
2021-06-16 11:37:07 +02:00
wborgeaud
ab7e2381a2
Remove rev in computation of the reversed sum in BaseSplitGenerator.
2021-06-16 08:15:44 +02:00
wborgeaud
89b25c528c
PR feedback fixes
2021-06-15 19:13:15 +02:00
wborgeaud
cfa5807556
Add insert gadget to insert inferred leaf in FRI query rounds
2021-06-14 15:15:22 +02:00
wborgeaud
81ce0eb710
Fix bugs
2021-06-10 16:48:05 +02:00
wborgeaud
6cce4c1f78
Add low-high split
2021-06-10 15:55:29 +02:00
wborgeaud
bb551092a0
Remove mul_extension_naive
2021-06-09 21:12:15 +02:00
wborgeaud
89761ef22a
Added in-circuit reverse_bits and exp.
2021-06-09 17:39:45 +02:00
wborgeaud
9adf5bb43f
Use ExtensionAlgebra + new CircuitBuilder::mul_extension
2021-06-09 10:51:50 +02:00
wborgeaud
1169870163
Added test
2021-06-04 17:07:14 +02:00
wborgeaud
51c06d74ee
Recursive PoW
2021-06-04 16:02:48 +02:00
wborgeaud
42d5b80a7a
BaseSum gate
2021-06-04 15:40:54 +02:00
