12 Commits

Author	SHA1	Message	Date
Daniel Lubarov	df2ba7a384	Basic smart contract test	2023-01-14 21:18:58 -08:00
Jacqueline Nabaglo	b6bc018cba	Simplify JUMP/JUMPI constraints and finish witness generation (#846) ... * Simplify `JUMP`/`JUMPI` constraints and finish witness generation * Constrain stack	2022-12-11 11:08:33 -08:00
Jacqueline Nabaglo	1732239a00	Constrain memory channels in JUMPDEST (#844)	2022-12-11 11:02:19 -08:00
Jacqueline Nabaglo	249e50ebcb	Get/set context (#843)	2022-12-11 10:59:14 -08:00
Jacqueline Nabaglo	29644e5111	Implement PC instruction (#847) ... * Implement `PC` instruction * lints	2022-12-11 10:41:32 -08:00
Jacqueline Nabaglo	95eeed46f0	Memory load/store constraints (#839)	2022-12-09 10:35:00 -08:00
Daniel Lubarov	526dc9bb77	Flush out operation list	2022-11-30 21:00:48 -08:00
Jacqueline Nabaglo	626c2583de	Combine all syscalls into one flag (#802) ... * Combine all syscalls into one flag * Minor: typo * Daniel PR comments	2022-11-07 12:29:28 -08:00
Jacqueline Nabaglo	ec3391f9c4	Add Fp254 ops to the CPU table (#779) ... * Add Fp254 ops to the CPU table * Add forgotten file	2022-10-13 14:02:19 -07:00
Jacqueline Nabaglo	d5cf53c227	Constraints for dup/swap (#743) ... * Constraints for dup/swap * Minor comments * Daniel comments * More comments	2022-10-03 12:31:43 -07:00
Daniel Lubarov	9e483528d3	MPT hashing logic, part 3	2022-10-02 09:11:39 -07:00
Jacqueline Nabaglo	e978425b26	Connect stack to memory (#735) ... * Connect stack to memory * Daniel PR comment	2022-09-28 15:18:56 -07:00