feat: Clean DSL + Simplified per-chip RISCV spec + Generic field + Trace Theorms + Partial Honest Witness Gen#97

dtumad merged 10 commits into

mainsuccinctlabs/sp1-lean:mainfrom

full-clean-dsl-implementationsuccinctlabs/sp1-lean:full-clean-dsl-implementationCopy head branch name to clipboard