I have no idea what this Coq proof is all about. For starters, can you provide a basic explanation? Maybe provide links too for further reading.
I know that this can be a technically heavy subject.But wondering if any researchers or any other blockchain projects have gone down this route?
I don't see a lot of technical discussions in this particular board (Altcoin Discussion). Your topic will most likely be ignored and buried here in an hour. I think you have a better chance of getting answers and visibility if you transfer this to the Service Discussion for Altcoins
https://bitcointalk.org/index.php?board=198.0 You can find the option to move topic at the bottom left.