Question: should we include detailed specs in this documentation?

[icemelon]

I see that the current docs only have high-level designs. But I think it'd be better to include these detailed specs of each gadget so that people can see how we prove each opcode. What do you guys think?

[ChihChengLiang]

Learned from @icemelon from the call that the detail of each gadget could be more than 1~2 paragraphs and more like a page of two. So it looks like good content to be in the documentation repo.

[ed255]

I think having detailed specs and documentation for each gadget would be really nice! This would be very useful for someone who wants to review the implementation, or for learning tricks and ideas when writing new gadgets (by learning from existing gadgets).

I would think this suits the spec better (we could create a section under spec/ called gadgets/). But if you think that the docs is a better fit, then I'm also OK with it.