<s​gp_:monero.social> Rucknium: Please add an item to the meeting agenda tomorrow to discuss a quote from zkSecurity to conclusively confirm the soundness of divisors, or to propose a minimally augmented version that can be proven. MAGIC Grants solicited this quote and I think it's a very attractive option

<s​gp_:monero.social> sorry, on Wed not tomorrow

<s​gp_:monero.social> hackmd.io/@rotn/HyyFGZcfxl

<s​gp_:monero.social> MAGIC Grants did not commission Cypher Stack for their review (which is stated in the SoW), just for accuracy

<r​ucknium:monero.social> sgp_: Certainly.

<r​ucknium:monero.social> One week of work sounds short though.

<p​lowsof:matrix.org> linking their blog for convenience blog.zksecurity.xyz

<r​ucknium:monero.social> kayabanerve: Can you attend the Wednesday MRL meet to discuss this ^?