03:38:08 <m-relay> <k​ayabanerve:matrix.org> https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/518
03:38:08 <m-relay> <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.
11:30:30 <plowsof> Sgp shared a completed report from veridise https://repo.getmonero.org/monero-project/ccs-proposals/-/merge_requests/449#note_27273 "negative coefficients and an extended review of the use of logarithmic derivatives" cc kayabanerve jberman Rucknium