12:03:38 <M0xffc[m]> http://adam.chlipala.net/papers/FiatCryptoSP19/
12:03:38 <M0xffc[m]> https://formosa-crypto.org/projects/libjade
12:03:38 <M0xffc[m]> Guys, how reliable are these? In terms of verification I believe these are the state of the art research. But lack of adaptation is concerning. 
12:03:38 <M0xffc[m]> The libjade comes from a very well respected people in crypto community. 
12:08:59 <M0xffc[m]> Libjade uses this https://dl.acm.org/doi/pdf/10.1145/3133956.3134078