Error reconciliation is an important technique for learning with error (LWE) and ring-LWE (RLWE)-based constructions. In this paper, we present a comparison analysis on two error reconciliation-based RLWE key exchange protocols: Ding et al. in 2012 (DING12) and Bos et al. in 2015 (BCNS15). We take them as examples to explain the core idea of error reconciliation, building key exchange over RLWE problem, implementation and real-world performance, and compare them comprehensively. We also analyse a LWE key exchange 'Frodo' that uses an improved error reconciliation mechanism in BCNS15. To the best of our knowledge, our work is the first to present at least 128-bit classic (80-bit quantum) and 256-bit classic (> 200-bit quantum) secure parameter choices for DING12 with efficient portable C/C++ implementations. Benchmark shows that our efficient implementation is 11× faster than BCNS15 and one key exchange execution only costs 0.07 ms on a four-year-old middle range CPU. Error reconciliation is 1.57× faster than BCNS15.

No abstract uploaded!

No abstract uploaded!

We prove some half-space theorems for minimal surfaces in the Heisenberg group Nil3 and the Lie group Sol3 endowed with their standard left-invariant Riemannian metrics. If S is a properly immersed minimal surface in Nil3 that lies on one side of some entire minimal graph G, then S is the image of G by a vertical translation. If S is a properly immersed minimal surface in Sol3 that lies on one side of a special plane Et (see the discussion just before Theorem 1.5 for the definition of a special plane in Sol3), then S is the special plane Eu for some u 2 R.

No abstract uploaded!