00:02:03 Apologies for not being present today. Regarding the Silver Bullet document: 00:02:05 It optimizes for its stated design. Its stated design is not our intended usecase. Its stated design enables our intended usecase. 00:02:07 Immediately, I believe its stated design remains compatible with our intended usecase *with comparable performance within our end result*. 00:02:09 My next step would be to redo my scalar multiplication gadget (the piece of the FCMP "arithmetic circuit" which evaluates a divisor-premised proof) to premise on the techniques within the silver bullet paper. This will confirm there's no unforseen issues with the performance impact. It will be a few days of work for me, at least, to redo the complimentary FCMP specification and up date the code however.