393 Commits

Author	SHA1	Message	Date
wborgeaud	fb94ace3db	Fix conflict	2022-10-17 10:02:36 +02:00
wborgeaud	1ae922dd4d	Merge branch 'main' into generate_dummy_proof	2022-10-17 10:01:32 +02:00
wborgeaud	972d83687e	PR feedback	2022-10-17 09:54:00 +02:00
wborgeaud	69bdbf6bf6	Redundant degree_bits	2022-10-13 18:19:05 +02:00
wborgeaud	e17823e777	Disallow zk for dummy proof	2022-10-11 11:47:37 +02:00
wborgeaud	0013bd4347	Minor	2022-10-11 11:41:19 +02:00
wborgeaud	3cd337ab15	Comments	2022-10-11 11:10:58 +02:00
wborgeaud	816e7db345	Working	2022-10-11 11:02:03 +02:00
Daniel Lubarov	443a070003	Clippy fix	2022-10-08 14:09:18 -07:00
wborgeaud	4690db7c2d	Add PI	2022-10-07 10:55:07 +02:00
wborgeaud	924f0dd46e	Merge branch 'main' into generate_dummy_proof	2022-10-07 10:24:25 +02:00
wborgeaud	4cc2fdb8c5	Implement Eq for CommonCircuitData	2022-10-07 10:24:11 +02:00
wborgeaud	992692b04d	Merge pull request #708 from mir-protocol/per_table_recursion ... Per table recursion	2022-10-07 10:03:07 +02:00
wborgeaud	4ff6bbb3de	Hardcode verifier data in the circuit	2022-10-07 09:47:03 +02:00
wborgeaud	189719ffe9	Start of dummy_proof()	2022-10-06 18:37:31 +02:00
wborgeaud	2bb63a6f11	PR feedback	2022-10-06 09:43:42 +02:00
wborgeaud	ce0a4f4480	Use ArithmeticGate for select	2022-10-05 16:42:55 +02:00
wborgeaud	66c21931ce	Minor	2022-10-05 16:34:24 +02:00
wborgeaud	52c82f0c21	Minor	2022-10-05 16:32:38 +02:00
wborgeaud	2982f45afa	Add test	2022-10-05 15:38:06 +02:00
wborgeaud	3260031fb2	Select logic	2022-10-05 14:21:12 +02:00
wborgeaud	a5a4098d7a	Merge branch 'main' into per_table_recursion ... # Conflicts: # evm/src/all_stark.rs # evm/src/generation/mod.rs # evm/src/recursive_verifier.rs	2022-10-03 11:49:26 +02:00
wborgeaud	668957176a	PR feedback	2022-10-03 11:44:52 +02:00
wborgeaud	3579f9e875	state() -> compact()	2022-10-03 10:53:33 +02:00
wborgeaud	58256ce052	Merge pull request #718 from mir-protocol/fix_basesumgate_numlimbs ... Fix `num_limbs` in `BaseSumGate`	2022-09-29 16:32:56 +02:00
wborgeaud	ee54b295d9	Use u64 instead of usize	2022-09-29 15:24:43 +02:00
Nicholas Ward	e2811550e1	addressed comments	2022-09-26 20:34:17 -07:00
Nicholas Ward	7d7269b26d	nit	2022-09-26 16:17:04 -07:00
Nicholas Ward	20053ac4c7	documentation	2022-09-26 15:58:28 -07:00
Nicholas Ward	33d97eff1c	moved sqrt to PrimeField	2022-09-26 11:31:11 -07:00
Nicholas Ward	a053372176	cleanup and documentation	2022-09-26 11:19:09 -07:00
Nicholas Ward	3bc1e65a7a	fix	2022-09-26 11:11:41 -07:00
Nicholas Ward	59acd9436c	fmt	2022-09-26 10:44:51 -07:00
Nicholas Ward	d239d3ffb5	fix	2022-09-26 10:44:43 -07:00
Nicholas Ward	880bc87bb1	sqrt	2022-09-26 10:43:18 -07:00
Nicholas Ward	bda96e84ee	working on SquareRootGenerator instead of SquareGenerator	2022-09-25 20:14:23 -07:00
Nicholas Ward	843baf1aa0	documentation	2022-09-25 20:14:23 -07:00
Nicholas Ward	b21883c321	fmt	2022-09-25 20:14:23 -07:00
Nicholas Ward	b271a71a74	square root example: use generator	2022-09-25 20:14:23 -07:00
Nicholas Ward	ecdac53960	fixes to fibonacci and factorial	2022-09-25 20:14:23 -07:00
Nicholas Ward	44a1f4c328	no need to hard-code!	2022-09-25 20:14:23 -07:00
Nicholas Ward	0381641b5c	addressed comments	2022-09-25 20:14:23 -07:00
Nicholas Ward	8bd5f43c45	oops, included other examples	2022-09-25 20:14:23 -07:00
Nicholas Ward	6d81968bbb	use data.verify	2022-09-25 20:14:23 -07:00
Nicholas Ward	38d6f98f87	fixes, and new examples (fibonacci and square root)	2022-09-25 20:14:23 -07:00
Nicholas Ward	9756e06db2	reformat	2022-09-25 20:14:23 -07:00
Nicholas Ward	556507a9cd	public input	2022-09-25 20:14:22 -07:00
Nicholas Ward	849a89105a	fmt	2022-09-25 20:14:22 -07:00
Nicholas Ward	2e6480a97f	Fibonacci example	2022-09-25 20:14:22 -07:00
wborgeaud	8c96b8d2db	Comment	2022-09-23 16:36:17 +02:00