References of "Barthel, Jim Jean-Pierre 50014637"
     in
Bookmark and Share    
Full Text
See detailNew Constructions of Verifiable Delay Functions
Barthel, Jim Jean-Pierre UL; Naccache, David; Rosie, Razvan UL

E-print/Working paper (n.d.)

A Verifiable Delay Function (VDF) is a cryptographic protocol thought to provide a proof of elapsed time. At the core of such a protocol lies a sequential task whose evaluation cannot be accelerated, even ... [more ▼]

A Verifiable Delay Function (VDF) is a cryptographic protocol thought to provide a proof of elapsed time. At the core of such a protocol lies a sequential task whose evaluation cannot be accelerated, even in the presence of massive parallel computational resources. We introduce a novel sequentiality assumption, put forth a scheme that achieves this sequentiality constraint by requiring its users to evaluate a function over (levelled) fully homomorphic ciphertexts and provide a heuristic security analysis. [less ▲]

Detailed reference viewed: 81 (5 UL)
Full Text
See detailON THE (NON-)EQUIVALENCE OF INTEGRAL BINARY QUADRATIC FORMS AND THEIR NEGATIVE FORMS
Barthel, Jim Jean-Pierre UL; Müller, Volker UL

E-print/Working paper (n.d.)

Integral binary quadratic forms have been extensively studied in order to compute the class number of real and complex quadratic fields. Many studies restricted the equivalence class of quadratic forms or ... [more ▼]

Integral binary quadratic forms have been extensively studied in order to compute the class number of real and complex quadratic fields. Many studies restricted the equivalence class of quadratic forms or identified specific forms in order to compute the class number through enumeration of equivalence classes. One often used assumption is that a given form and its negative are equivalent or are synthetically identified. This document presents a concise Lagrangian approach to integral binary quadratic forms, outlines the equivalence classes in its broadest sense and uses it to develop a general condition when a given integral binary quadratic form and its negative are equivalent. Then, the existence of integral binary quadratic forms which are non-equivalent to their negatives is proven and an elementary algorithm to determine the (non-)equivalence of a given form and its negative is outlined. [less ▲]

Detailed reference viewed: 63 (3 UL)