10 Commits

Author SHA1 Message Date
Sergio Chouhy
f54cdf4a4c Merge branch 'main' into schouhy/implement-privacy-preserving-tail-calls 2025-12-09 23:53:27 -03:00
Sergio Chouhy
8a269858c5 improve struct interface 2025-12-03 16:54:57 -03:00
Sergio Chouhy
d677db7f4e add account post state struct with claiming request field 2025-12-03 15:17:33 -03:00
Sergio Chouhy
4f650e939f add instruction to the program output 2025-11-18 01:38:47 -03:00
Sergio Chouhy
d1ebb831ef refactor program input 2025-08-14 14:30:04 -03:00
Sergio Chouhy
c5a4e83e3e add pre states to program output 2025-08-14 14:09:04 -03:00
Sergio Chouhy
acaf62f31f fmt clippy 2025-08-13 00:51:54 -03:00
Sergio Chouhy
9d19183786 minor refactor 2025-08-10 19:08:18 -03:00
Sergio Chouhy
102d2e13f9 add general instruction data 2025-08-10 18:51:55 -03:00
Sergio Chouhy
dacf880b88 add test for balance invariance after program execution 2025-08-10 12:36:11 -03:00