Video Library

The endgame of massive star evolution is the gravitational-induced collapse of the central inert iron core.  The collapse of the core continues until the matter reaches nuclear densities where the strong force between nucleons becomes dominant and provides sufficient pressure to stabilize the newly formed protoneutron star.  What ensues is a complex multi-physics problem involving strong gravity, multidimensional hydrodynamic instabilities, magnetic fields, multispecies neutrino radiation, and supranuclear density physics to name a few.

A circuit obfuscator is an algorithm that translates
logic circuits into functionally-equivalent similarly-sized logic circuits that
are hard to understand. While ad hoc obfuscators have been implemented, theoretical
progress has mainly been limited to no-go results. In this work, we propose a
new notion of circuit obfuscation, which we call partial indistinguishability.
We then prove that, in contrast to previous definitions of obfuscation, partial
indistinguishability obfuscation can be achieved by a polynomial-time