Mostly, his Sphinx PQ ratchet is documented in Rust... however his Sphinx implementation adds quite a bit of changes and complexity. I wonder if all of that is necessary. We'll understand more clearer which additional complexities are needed once we write a specification document.
We MUST write a Sphinx specification document extension. Our current Sphinx spec is complete: https://github.com/katzenpost/docs/blob/master/specs/sphinx.txt
However one could imagine additional features and these should perhaps reside in an "extensions" directory".
@burdges has documented his designs here: https://github.com/burdges/lake
Mostly, his Sphinx PQ ratchet is documented in Rust... however his Sphinx implementation adds quite a bit of changes and complexity. I wonder if all of that is necessary. We'll understand more clearer which additional complexities are needed once we write a specification document.