Abstract:An (n, t, d, n-t)-arithmetic secret sharing scheme (with uniformity) for F-q(k) over F-q is an F-q-linear secret sharing scheme where the secret is selected from F-q(k) and each of the n shares is an element of F-q. Moreover, there is t-privacy (in addition, any t shares are uniformly random in F-q(t)) and, if one considers the d-fold "component-wise" product of any d sharings, then the d-fold component-wise product of the d respective secrets is (n - t)-wise uniquely determined by it. Such schemes are a fundamental primitive in information-theoretically secure multi-party computation. Perhaps counter-intuitively, secure multi-party computation is a very powerful primitive for communication-efficient two-party cryptography, as shown recently in a series of surprising results from 2007 on. Moreover, the existence of asymptotically good arithmetic secret sharing schemes plays a crucial role in their communication-efficiency: for each d >= 2, if A(q) > 2d, where A(q) is Ihara's constant, then there exists an infinite family of such schemes over F-q such that n is unbounded, k = Omega(n) and t = Omega(n), as follows from a result at CRYPTO'06. Our main contribution is a novel paradigm for constructing asymptotically good arithmetic secret sharing schemes from towers of algebraic function fields. It is based on a new limit that, for a tower with a given Ihara limit and given positive integer l, gives information on the cardinality of the l-torsion sub-groups of the associated degree-zero divisor class groups and that we believe is of independent interest. As an application of the bounds we obtain, we relax the condition A(q) > 2d from the CRYPTO'06 result substantially in terms of our torsion-limit. As a consequence, this result now holds over nearly all finite fields F-q. For example, if d=2, it is sufficient that q = 8,9 or q >= 16.

Quantitative Fundamental Theorem of Algebra

On, around, and beyond Frobenius' theorem on division algebras

Pre-Requisites for Frobenius Theorem (in real division algebras)

The Fundamental Theorem of Algebra: From The Four Basic Operations

The Torsion-Limit For Algebraic Function Fields And Its Application To Arithmetic Secret Sharing

On an elementary proof of the fundamental theorem of algebra

Frobenius' Theorem on Division Algebras

Abel-Ruffini's Theorem: Complex but Not Complicated!

A short proof of d'Alemberts theorem

On qualitative aspects of the quantitative subspace theorem

Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic

On the arithmetic of polynomials over a number field

On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

A quantitative converse of Fekete's theorem

Polynomials represented by norm forms via the beta sieve

An elementary proof of the theorem on the imaginary quadratic fields with class number 1

An effective version of Fekete's theorem

Fermat quotients and the Ankeny-Artin-Chowla conjecture

An elementary proof of Hilbert's theorem on ternary quartics: Some complements

Involutions, odd-degree extensions and generic splitting

A short elementary proof of the insolvability of the equation of degree 5