Add the encoding for Option<T>#136

mariari wants to merge 1 commit into

mainanoma/arm-risc0:mainfrom

mariari/encoding-optionanoma/arm-risc0:mariari/encoding-optionCopy head branch name to clipboard