Publication

Efficient Verifiable Delay Functions

Related publications (27)

Uniformly perfect finitely generated simple left orderable groups

We show that the finitely generated simple left orderable groups G(rho) constructed by the first two authors in Hyde and Lodha [Finitely generated infinite simple groups of homeomorphisms of the real line. Invent. Math. (2019), doi:10.1007/s00222-01900880- ...

CAMBRIDGE UNIV PRESS2021

Subgroups of elliptic elements of the Cremona group

Christian Lucius Urech

The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the struc ...

2021

Local excitations in amorphous solids

Wencheng Ji

Amorphous solids are structurally disordered. They are very common and include glasses, colloids, and granular materials, but are far less understood than crystalline solids. Key aspects of these materials are controlled by the presence of excitations in w ...

EPFL2021

Advantages of patient-specific cutting guides with disposable instrumentation in total knee arthroplasty: a case control study

Brigitte Jolles-Haeberli

BackgroundTotal knee arthroplasty (TKA) is most frequently planned using conventional two-dimensional weight-bearing lower limb radiographs and is performed with conventional femoral and tibial cutting guides. Questions have been raised about the accuracy ...

BMC2021

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Rules of Thumb to Assess Losses of Implanted Antennas

Anja Skrivervik, Denys Nikolayev, Mingxiang Gao, Zvonimir Sipus

Fundamental limits for implanted antennas should be able to evaluate the bounds on losses with the knowledge of physical limitations from antenna and tissue parameters. In this work, rules of thumb to assess losses of deeply implanted antennas are presente ...

IEEE2021

A New Channel-Base Lightning Current Formula With Analytically Adjustable Parameters

Farhad Rachidi-Haeri

The article provides a new channel-based current function, which aims at faithfully reproducing the salient parameters of lightning currents. All the model parameters can be set in a fully analytical way, guaranteeing the possibility of changing them (acco ...

2021