Finalize a proposal for postquantum circuit-extension
There are a few ideas floating around the literature here, and some promising ideas. We should get at least one to have a proposal number by some time in December, I hope.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information