<k​ayabanerve:matrix.org> Apologies for not being present today. Regarding the Silver Bullet document:

<k​ayabanerve:matrix.org> It optimizes for its stated design. Its stated design is not our intended usecase. Its stated design enables our intended usecase.

<k​ayabanerve:matrix.org> Immediately, I believe its stated design remains compatible with our intended usecase *with comparable performance within our end result*.

<k​ayabanerve:matrix.org> 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<clipped message

<k​ayabanerve:matrix.org> date the code however.