2574 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Nicholas Ward	3bc1e65a7a	fix	2022-09-26 11:11:41 -07:00
Nicholas Ward	4668e8c5f8	clippy	2022-09-26 10:45:20 -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
Daniel Lubarov	c80e9e4ef1	Merge pull request #737 from mir-protocol/mpt_2 ... More MPT logic	2022-09-24 21:03:43 -07:00
Daniel Lubarov	c7b03cfe9a	More MPT logic	2022-09-24 20:49:19 -07:00
Nicholas Ward	125ad565db	Merge pull request #734 from mir-protocol/stack-manipulation-empty-lhs ... stack manipulation: allow empty LHS	2022-09-23 12:05:10 -07:00
Nicholas Ward	26fcd9eed4	fmt	2022-09-23 11:49:30 -07:00
Nicholas Ward	2b298e39eb	stack manipulation: allow empty LHS	2022-09-23 11:49:13 -07:00
Daniel Lubarov	243eb265ff	Merge pull request #733 from mir-protocol/keccak_bench ... Keccak benchmark	2022-09-23 11:25:53 -07:00
Daniel Lubarov	b6d71a7008	Keccak benchmark ... And reworking things a bit to include the timing data we want.	2022-09-23 10:54:17 -07:00
Daniel Lubarov	a816f4b666	Merge pull request #732 from mir-protocol/macro_overloading ... Support macro overloading	2022-09-22 22:21:42 -07:00
Daniel Lubarov	dbb0503d3e	Support macro overloading	2022-09-22 20:22:57 -07:00
Jacqueline Nabaglo	084700a7f4	Memory channel for program counter (#717)	2022-09-22 18:09:23 -07:00
Daniel Lubarov	c27e40e7bb	Merge pull request #731 from mir-protocol/mpt ... Basic MPT logic	2022-09-22 12:06:16 -07:00
Daniel Lubarov	37d92b55ac	Basic MPT logic ... For now this contains most of the basic framework/structure. Logic for things like insertions will come later.	2022-09-22 11:25:37 -07:00
BGluth	7a4f5e43c5	Merge pull request #729 from mir-protocol/generation_inputs_contract_code ... Added a mapping between code hashes and contract byte code	2022-09-21 16:46:50 -06:00
BGluth	8fb1e4e760	Added a mapping between code hashes and contract byte code ... Added a mapping between an account's `codehash` field and the actual contract byte code in `GenerationInputs`.	2022-09-21 16:46:18 -06:00
Daniel Lubarov	3da80fffe0	Merge pull request #728 from mir-protocol/fix_prohibited_macro_names ... Fix prohibited macro names	2022-09-21 13:31:03 -07:00
Daniel Lubarov	218f689422	Fix prohibited macro names	2022-09-21 13:10:16 -07:00
Daniel Lubarov	a84d3f5d44	Merge pull request #727 from mir-protocol/fix_macro_vars_in_stack ... Fix macro vars in `%stack` directives	2022-09-21 09:22:16 -07:00
Daniel Lubarov	f876a8ab02	Fix macro vars in %stack directive	2022-09-21 08:42:56 -07:00
Daniel Lubarov	ee575f7c33	Merge pull request #723 from mir-protocol/validate_shape ... Validate the shape of each proof	2022-09-19 23:11:48 -07:00
Daniel Lubarov	d7d50e9d5a	Minor	2022-09-19 23:04:53 -07:00
Daniel Lubarov	5d4d81c29f	Shape check in starky	2022-09-19 21:41:24 -07:00
Daniel Lubarov	f8e0b6f6a3	fix	2022-09-19 21:30:14 -07:00
Daniel Lubarov	616a6b3919	Validate EVM proof shape	2022-09-19 20:54:45 -07:00
Daniel Lubarov	e20b76f104	Use salt_size	2022-09-19 17:45:59 -07:00
Daniel Lubarov	74ab741057	Update plonky2/src/plonk/validate_shape.rs ... Co-authored-by: wborgeaud <williamborgeaud@gmail.com>	2022-09-19 17:37:18 -07:00
Daniel Lubarov	786826487c	Update plonky2/src/fri/validate_shape.rs ... Co-authored-by: wborgeaud <williamborgeaud@gmail.com>	2022-09-19 17:37:18 -07:00
Daniel Lubarov	dbce356818	Validate the shape of each proof	2022-09-19 17:37:18 -07:00
Daniel Lubarov	ce64ccdcd7	Merge pull request #726 from mir-protocol/zkevm-spec ... zkEVM spec	2022-09-19 17:32:41 -07:00
Daniel Lubarov	4d873cdaf5	zkEVM spec	2022-09-19 13:38:02 -07:00
BGluth	928e8bc0e9	Merge pull request #725 from mir-protocol/eth_trie_utils_lib ... Replaced `PartialTrie` definitions with `eth-trie-utils` crate	2022-09-19 11:28:30 -06:00
BGluth	d7d8803d0a	Replaced PartialTrie definitions with eth-trie-utils crate ... - There were enough dependencies that it made sense to move `PartialTrie` logic to its own crate.	2022-09-19 11:05:48 -06:00