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.The person above posted the link it's exactly that what I'm referring to. I am trying to get a better understanding as well. Would love it f someone experienced and technical can probably share some knowledge on this. I am not looking to provide any service hence, I did not post it in the Service Discussion. I am just trying to pick brain about this research and would like to understand from smart folks who might know better than me and enlighten me.
