19:23:07 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 19:25:23 sorry, on Wed not tomorrow 19:32:02 https://hackmd.io/@rotn/HyyFGZcfxl 19:36:00 MAGIC Grants did not commission Cypher Stack for their review (which is stated in the SoW), just for accuracy 20:26:22 sgp_: Certainly. 20:27:06 One week of work sounds short though. 21:01:58 linking their blog for convenience http://blog.zksecurity.xyz/ 21:05:14 kayabanerve: Can you attend the Wednesday MRL meet to discuss this ^?