Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-24 Thread Vsevolod Stakhov
On 24/11/2016 13:05, Hans Petter Selasky wrote: > On 11/24/16 13:13, Vsevolod Stakhov wrote: >> On 23/11/2016 16:27, Ed Schouten wrote: >>> Hi Hans, >>> >>> 2016-11-23 15:27 GMT+01:00 Hans Petter Selasky : >>>> I've made a patch to hopefully

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-24 Thread Vsevolod Stakhov
oveland algorithm: > https://en.wikipedia.org/wiki/DPLL_algorithm > -- Vsevolod Stakhov ___ freebsd-current@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Re: CFR: AES-GCM and OpenCrypto work review

2014-11-08 Thread Vsevolod Stakhov
On 08/11/14 20:45, John-Mark Gurney wrote: Vsevolod Stakhov wrote this message on Sat, Nov 08, 2014 at 18:55 +: On 08/11/14 04:23, John-Mark Gurney wrote: Hello, Over the last few months, I've been working on a project to add support for AES-GCM and AES-CTR modes to our OpenC

Re: CFR: AES-GCM and OpenCrypto work review

2014-11-08 Thread Vsevolod Stakhov
) so multisegmented > inputs don't have to be copied. I have the question regarding to the algorithm of GF field calculations used in the proposed implementation: why not use the recent researches in GCM calculations, e.g. described in [1], for further speed optimizations? [1] - https://epri

Re: ssh None cipher

2014-11-03 Thread Vsevolod Stakhov
On 03/11/14 17:59, Freddie Cash wrote: On Sat, Oct 18, 2014 at 12:32 PM, Allan Jude wrote: On 2014-10-18 13:21, Freddie Cash wrote: On Oct 18, 2014 3:54 AM, "Mark Martinec" wrote: If the purpose of having a none cipher is to have a fast file transfer, then one should be using sysutils/bbc