Was there ever a formal verification of the cryptographic implementation contained in the current Ren protocol?
Also, it isn’t clear from the 4 audits published in the Github whether this specific point from the ADBK audit was ever addressed?
Section 4.3, the⇢n,kRNGprotocol is defined very informally in a big contrast with section 2. It is unclear how the shares are created, what kind of ZK proof is involved and so on. No concrete details are provided. The “verify” function is undefined.