5 Commits

Author	SHA1	Message	Date
wborgeaud	ee979428f4	Start implementing context and segments in interpreter	2022-07-23 15:35:48 +02:00
Daniel Lubarov	ef842b03c8	Address some feedback on #591	2022-07-17 08:23:40 -07:00
Daniel Lubarov	997453237f	Store memory values as U256s ... Ultimately they're encoded as `[F; 8]`s in the table, but I don't anticipate that we'll have any use cases where we want to store more than 256 bits. Might as well store `U256` until we actually build the table since they're more compact.	2022-07-17 07:58:28 -07:00
Daniel Lubarov	ab5abc391d	Organize segments in an enum ... It's a bit more type-safe (can't mix up segment with context or virtual addr), and this way uniqueness of ordinals is enforced, partially addressing a concern raised in #591. To avoid making `Segment` public (which I don't think would be appropriate), I had to make some other visibility changes, and had to move `generate_random_memory_ops` into the test module.	2022-07-16 10:16:12 -07:00
Daniel Lubarov	e7b480deaf	Begin work on witness generation and kernel bootstrapping	2022-07-01 10:09:57 -07:00