grjte

I agree about removing `debug` decorators. That will reduce a lot of the extra weight and avoid having so much complexity introduced here by something that isn't required for normal...

> One other thing to mention is that I'd like to come up with a way to tie assembly instructions to the actual operations executed by the VM. I think...

@0xKanekiKen thanks! We should wait until #237 is merged before taking a look at this, which should be by the end of the week

@0xKanekiKen I discussed this with @bobbinth and I think we're going to hold off on this issue for now, since it's not urgent, we're not sure how we want to...

Sure, it's yours. Thanks!

Just a note that for changes to the handling of the stack overflow table described in #347 the type won't be able to change to `u32` in the [stack module...

@0xKanekiKen thanks for your interest! Actually, I think this task should wait at least until I've finished some work I'm currently doing, and possibly until v0.2 is done. I'll mark...

> Then, to ensure that syscall operation executed only valid kernel function, the prover would initialize `p_0` with an aggregate value of all called functions. How will we enforce that...

Just a thought (and I haven't thought about implications yet) - If we wanted to, couldn't we prevent the verifier from knowing even which kernel was used by having ROM...

@tohrnii I love what you & @timgestson have done here and I think this is a great time to open this issue. Before we move forward I think we probably...