I've been semi-following the bootstrappable builds stuff in general - that work is already listed on my page https://dwheeler.com/trusting-trust https://dwheele

I've been semi-following the bootstrappable builds stuff in general - that work is already listed on my page https://dwheeler.com/trusting-trust https://dwheeler.com/trusting-trust Mescc is obviously an example. Years ago Bellard demonstrated a bootstrap using tcc to compile the Linux kernel (which was pretty amazing). I think the approaches could work together well. Bootstrappable builds reduce the size of the binary you have to trust, and DDC can act as a check on a binary. Thanks for asking!