931 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
wborgeaud	2bfa454476	PR feedback	2021-08-12 18:21:21 +02:00
wborgeaud	7271af823b	Optimize evaluate_gate_constraints_recurively	2021-08-12 16:48:13 +02:00
Daniel Lubarov	38505b71ae	FRI refactor (#172) ... I sort of "shifted" the loop in `fri_verifier_query_round` so that `fri_combine_initial` is called before the loop, and all `compute_evaluation` calls are in the loop (rather than the final one being outside). This lines up with my mental model of FRI, and I think it's more natural as it results in a loop with no branches, no `i - 1`s, and less state stored between iterations. Also added some comments etc. Should be functionally equivalent to the old version.	2021-08-12 07:27:33 -07:00
wborgeaud	702eab1583	Add wide_arithmetic	2021-08-12 16:03:13 +02:00
wborgeaud	08e457458d	Comments	2021-08-12 15:48:45 +02:00
wborgeaud	9061335996	Some more arithmetic optimizations	2021-08-12 15:46:18 +02:00
wborgeaud	debc0e9cb3	Merge pull request #170 from mir-protocol/merkle_cap ... Replace Merkle roots with Merkle caps	2021-08-11 08:40:12 +02:00
wborgeaud	9c01e1d942	PR feedback	2021-08-11 08:33:58 +02:00
Daniel Lubarov	090cf79787	Replace some old division code (#171) ... - Delete unsafe methods - Have related methods call the new div_add_extension method to simplify	2021-08-10 11:48:53 -07:00
wborgeaud	9f004c9664	Clippy	2021-08-10 16:18:42 +02:00
wborgeaud	e73c1d7769	Cleaning / Renaming	2021-08-10 15:53:27 +02:00
wborgeaud	ad8428f38f	12604 gates, 318637 bytes	2021-08-10 15:28:41 +02:00
wborgeaud	ec1147848a	Minor	2021-08-10 15:05:21 +02:00
wborgeaud	684df1e057	Pass cap index	2021-08-10 15:03:29 +02:00
wborgeaud	f2c423ee61	save 13 gates	2021-08-10 14:19:12 +02:00
wborgeaud	57f2b5b763	working	2021-08-10 13:52:50 +02:00
wborgeaud	f91b9b60c6	debug	2021-08-10 13:43:25 +02:00
wborgeaud	ce71b536bf	First pass	2021-08-10 13:33:44 +02:00
wborgeaud	2cf82636f8	Merge pull request #166 from mir-protocol/optimize_arithmetic_ops ... Optimize some arithmetic operations	2021-08-10 09:25:59 +02:00
wborgeaud	94123c456e	Fix merge conflict	2021-08-10 09:21:03 +02:00
wborgeaud	4433fd8048	Merge branch 'main' into optimize_arithmetic_ops	2021-08-10 09:11:08 +02:00
wborgeaud	b15e36d29c	PR feedback	2021-08-10 09:07:01 +02:00
Daniel Lubarov	45fdc4d11f	debug_assert	2021-08-09 19:26:29 -07:00
Nicholas Ward	12d4b9adc3	Merge pull request #169 from mir-protocol/ci-tests ... Initial CI tests	2021-08-09 13:37:12 -07:00
Nicholas Ward	0750f54b93	addressed comments	2021-08-09 13:06:13 -07:00
Nicholas Ward	4bb525f1cc	triggers	2021-08-09 11:19:37 -07:00
Nicholas Ward	4d7c6a982b	fix syntax	2021-08-09 10:47:32 -07:00
Nicholas Ward	9c591fdc09	test and fmt	2021-08-09 10:46:48 -07:00
wborgeaud	4118c88d70	Merge pull request #168 from mir-protocol/derive_quotient_degree_factor ... Derive `quotient_degree_factor`	2021-08-09 19:40:04 +02:00
Daniel Lubarov	b89f4d656d	Update various dependencies (#163)	2021-08-09 10:11:42 -07:00
Daniel Lubarov	3eacd53b30	PolynomialBatchCommitment tweaks (#164) ... Very minor things: - A few renames - Instead of having two constructors call a third constructor, just have one constructor call the other. - Invoke FFT with the option that specifies the inputs are mostly zero, as a (minor) optimization - Remove unused field	2021-08-09 10:11:35 -07:00
wborgeaud	4e86d9d7f4	Derive quotient_degree_factor	2021-08-09 19:08:52 +02:00
wborgeaud	898caa2bb0	Merge pull request #167 from mir-protocol/fix_degree_errors ... Fix some off-by-one errors in the degrees	2021-08-09 19:01:31 +02:00
wborgeaud	05c9479955	Operator precedence	2021-08-09 18:49:25 +02:00
wborgeaud	f08d47b7d9	Update comment	2021-08-09 18:43:12 +02:00
wborgeaud	21f90ca853	Fix some off-by-one errors in the degrees	2021-08-09 18:42:01 +02:00
wborgeaud	fe36030080	Merge pull request #165 from mir-protocol/partial_witness_vec ... Replace `HashMap` with `Vec`s in `PartialWitness`	2021-08-09 18:36:13 +02:00
wborgeaud	c3a0b7cc82	PR feedback	2021-08-09 18:35:41 +02:00
wborgeaud	3adabbedf1	Fix comments	2021-08-09 14:15:20 +02:00
wborgeaud	905aaa2ed9	Unused	2021-08-09 14:07:32 +02:00
wborgeaud	d0cb1becf0	Minor bis	2021-08-09 14:07:16 +02:00
wborgeaud	f528835a59	Minor	2021-08-09 14:05:57 +02:00
wborgeaud	8e6c30dc70	Use only one gate for div	2021-08-09 13:55:49 +02:00
wborgeaud	ff68b66bbb	Add div_add	2021-08-09 13:46:20 +02:00
wborgeaud	417e6055ae	Optimize coset in compute_evaluation	2021-08-09 13:21:42 +02:00
wborgeaud	d27dd92af9	Some more optimization	2021-08-09 13:08:09 +02:00
wborgeaud	4b44578ffa	More optimizations	2021-08-09 12:39:37 +02:00
wborgeaud	ed8dc9fdc7	Cleaning	2021-08-09 11:33:38 +02:00
wborgeaud	eeb33f99ca	Optimize mul_ext_algebra	2021-08-09 11:30:03 +02:00
wborgeaud	f0f8320b93	First pass	2021-08-09 10:46:29 +02:00