Wed, 24 Feb 2016
15:00
15:00
L4
Pairing-based Succinct Non-interactive Arguments
Jens Groth
(University College, London)
Abstract
Zero-knowledge proofs enable a prover to convince a verifier that a statement is true without revealing anything but the truth of the statement. In recent years there has been a lot of effort in making the proofs succinct, i.e., the proof may be much smaller than the statement itself and be very easy for the verifier to check. The talk will give a general introduction to zero-knowledge proofs and a presentation of a new pairing-based succinct non-interactive argument system.
M.C. Escher is known as the mathematician's (and hippie's) favourite artist. But why? And was Escher, a man who claimed he knew no mathematics, really a mathematical genius?
Mon, 09 Nov 2015
12:00 -
13:00
L3
Yang-Mills origin of gravitational symmetries
Mike Duff
(Imperial College)
Abstract
By regarding gravity as the convolution of left and right Yang-Mills theories together with a spectator scalar field in the bi-adjoint representation, we derive in linearised approximation the gravitational symmetries of general covariance, p-form gauge invariance, local Lorentz invariance and local supersymmetry from the flat space Yang-Mills symmetries of local gauge invariance and global super-Poincare. As a concrete example we focus on the new-minimal (12+12) off-shell version of simple four-dimensional supergravity obtained by tensoring the off-shell Yang-Mills multiplets (4+4,NL =1)and(3+0,NR =0).
Oxford University has today opened a new Data Science Lab in collaboration with Emirates. It will see experts from around the University use cutting-edge analysis to help the airline make its services more efficient and customer-focussed.