--- Log opened Mon Oct 02 00:00:39 2023
05:35 -!- jonatack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer]
05:35 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
08:39 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Read error: Connection reset by peer]
19:27 < roconnor> I proved a lemma showing that a functional implementation of the dettman multiplication algorithm is correct.  This ignores overflow and such, but it is a first step toward VST proof of the correctness of the C implementatiuon. 
--- Log closed Tue Oct 03 00:00:46 2023