<k​ayabanerve:matrix.org> repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/518

<k​ayabanerve:matrix.org> FYI, the prior discussed formalization/security proofs/audit for monero-[serai, wallet] had its CCS posted. I already put this in monero-community but figured I'd also put it here given the amount of discussion we had here.

Sgp shared a completed report from veridise repo.getmonero.org/monero-project/c…als/-/merge_requests/449#note_27273 "negative coefficients and an extended review of the use of logarithmic derivatives" cc kayabanerve jberman Rucknium