Description
By a well-known result of Dwork the zeta functions of the fibers in a one-parameter family of hypersurfaces can be described in terms of p-adic holomorphic functions. This result was used by A. Lauder in order to formulate a deter- ministic algorithm that computes the zeta function of a hypersurface in polynomial time. In this talk we describe a similiar method for elliptic curves which is based on rigid cohomology rather than Dwork cohomology. In contrast to Dwork's theory, rigid cohomology is closely related to the notions of classical algebraic geometry. We give an overview on the theoretical background, describe the essential steps of the algorithm and comment on the problem of p-adic precision estimates. We also report on computational results obtained by a MAGMA implementation. In the last part we explain the relation between both theories and how Lauder's general algorithm can be reformulated in terms of rigid cohomology. This shows up similiarities as well as differences between the two approaches.
Prochains exposés
-
Polytopes in the Fiat-Shamir with Aborts Paradigm
Orateur : Hugo Beguinet - ENS Paris / Thales
The Fiat-Shamir with Aborts paradigm (FSwA) uses rejection sampling to remove a secret’s dependency on a given source distribution. Recent results revealed that unlike the uniform distribution in the hypercube, both the continuous Gaussian and the uniform distribution within the hypersphere minimise the rejection rate and the size of the proof of knowledge. However, in practice both these[…]-
Cryptographie
-
Primitive asymétrique
-
Mode et protocole
-
-
Post-quantum Group-based Cryptography
Orateur : Delaram Kahrobaei - The City University of New York