Source author record

Bob McElrath

Bob McElrath appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2020arXiv

Bitcoin Covenants: Three Ways to Control the Future

A bitcoin covenant is a mechanism to enforce conditions on how the control of coins will be transferred in the future. This work introduces deleted-key covenants; using pre-signed transactions with secure key deletion. With this, a general class of covenants are possible without introducing new security risks to bitcoin. There is a range of security models for the key deletion process, but this is subject to a security-convenience trade-off and requires interactivity in a multi-party context. On the other hand, this work makes a compelling case for what can be gained through a soft-fork upgrade to the signature hash system [Dec17] which enables recovered-key covenants through elliptic curve key recovery. This has similar properties to script-based covenant mechanisms proposed previously [Rub20]. Key factors are discussed and compared for the three covenant mechanisms, including; the enforcement process, methods for proving accessibility of funds and whether or not they are bound by a covenant, methods for dynamic fee allocation, the underlying cryptographic assumptions, and their feasibility in single-party, hierarchical and adversarial multi-party contexts. Despite the relative downsides of deleted-key covenants, they are a practical tool for custody protocol design. The comparison shows precisely how soft-fork proposals improve the practicality of bitcoin covenants, through non-interactive enforcement and tighter cryptographic assumptions, to enhance custody protocols and enable some adversarial applications such as payment protocols.

preprint2020arXiv

Custody Protocols Using Bitcoin Vaults

A bitcoin \textit{covenant} is a mechanism to enforce conditions on future bitcoin transactions. A bitcoin \textit{vault} is a specific type of covenant transaction that enforces a time-lock on the transfer of control of funds to a hot wallet, but enables an immediate transfer of funds into a deep cold recovery wallet. This paper demonstrates how to integrate a bitcoin vault into a custody protocol and demonstrates the security properties of that protocol. The vault is implemented using pre-signed transactions with secure key deletion (as proposed in \cite{Swambo2020cov}). It is shown that vault-custody protocols enable the wallet owner to specify their desired balance for an inherent trade-off between the security of and accessibility of bitcoin holdings by adjusting the length of time-locks used. It is also demonstrated that wallet owners have increased control of risk-management by compartmentalizing funds across numerous vault transactions. While it isn't realistic to completely prevent theft, the most likely theft scenarios (compromising the hot wallet) have severely limited profitability for an attacker, deterring attempts at theft from the beginning. The proposed architecture was designed to offer defence-in-depth through redundancy and fault-tolerant functionality as well as countermeasures for class breaks through diversity across hardware and software layers. Finally, the architecture employs a detection (a watchtower) and response system that enables fail-safe recovery from attempted or partial thefts through a second type of covenant transaction, a push-to-recovery-wallet transaction.

preprint2013arXiv

On The Origin of Neutrino Mass and Mixing in the Standard Model

One can describe cosmological relic neutrinos by adding Lagrange multipliers to the Standard Model Lagrangian for them. The two possible Lagrange multipliers are a chemical potential, which fixes the mean neutrino/anti-neutrino asymmetry, and a Majorana mass, which fixes the mean spin-entropy. Because these neutrinos originated from a thermal bath, their entropy should be maximal, implying that each state in the background is a symmetric superposition of a neutrino and anti-neutrino. Therefore the Standard Model must be augmented by a flavor-diagonal Majorana neutrino mass matrix. This impacts the propagator via tadpole diagrams due to self-interactions. In the low-energy limit, neutrino self-interactions are entirely off-diagonal because same-flavor four-fermion operators vanish by Pauli exclusion. These interactions must be diagonalized when propagating through a bath of neutrinos, using the U(3) global flavor symmetry. U(3) gets broken broken down to SO(3) by Majorana masses, and down to $A_4$ if the three masses are different. Thus our universe today contains tri-bimaximal mixing and Majorana neutrinos. Neutrino mixing is due to the mismatch between the flavor-diagonal Majorana mass matrix arising at finite density and the self-interaction diagonal finite density propagator. The mass hierarchy is inverted and Majorana phases are absent. Lepton number is conserved and the neutrino-less double beta decay experiment absorbs a pair of neutrinos from the relic background and will prove their Majorana nature.

preprint2010arXiv

Accurate Mass Determinations in Decay Chains with Missing Energy: II

We discuss kinematic methods for determining the masses of the particles in events at a hadron collider in which a pair of identical particles is produced with each decaying via a series of on-shell intermediate beyond-the-SM (BSM) particles to visible SM particles and an invisible particle (schematically, pp -> ZZ + jets with Z -> Aa -> Bba -> Ccba -> ... -> cba... + N where a,b,c,... are visible SM particles or groups of SM particles, A,B,C,... are on-shell BSM particles and N is invisible). This topology arises in many models including SUSY processes such as squark and gluino pair production and decay. We present the detailed procedure for the case of Z -> 3 visible particles + N and demonstrate that the masses obtained from the kinematic procedure are independent of the model by comparing SUSY to UED.

preprint2008arXiv

There is no explosion risk associated with superfluid Helium in the LHC cooling system

We evaluate speculation about the possibility of a dangerous release of energy within the liquid Helium of the Large Hadron Collider (LHC) cryogenic system due to the occurrence of a "Bose-Nova". Bose-Novae are radial bursts of rapidly moving atoms which can occur when a Bose-Einstein Condensate (BEC) undergoes a collapse due the interatomic potential being deliberately made attractive using a magnetic field close to the Feshbach resonance. Liquid 4He has a monatomic structure with s-wave electrons, zero nuclear spin, no hyperfine splitting, and as a consequence no Feshbach resonance which would allow one to change its normally repulsive interactions to be attractive. Because of this, a Bose-Nova style collapse of 4He is impossible. Additional speculations concerning cold fusion during these events are easily dismissed using the usual arguments about the Coulomb barrier at low temperatures, and are not needed to explain the Bose-Einstein condensate Bose-Nova phenomenon. We conclude that that there is no physics whatsoever which suggests that Helium could undergo any kind of unforeseen catastrophic explosion.

preprint2007arXiv

Light Higgses and Dark Matter at Bottom and Charm Factories

Neither Dark Matter nor scalar particles in the Higgs sector are ruled out at energies accessible to bottom and charm factories. In Dark Matter searches, the error on the mass of Dark Matter is $\sim 4$ GeV in the best LHC studies. For light Dark Matter this could represent a 100% (or more) error. In Higgs searches, the presence of a light singlet Higgs can make the LHC Higgs search difficult, if not impossible. If Dark Matter or a Higgs scalar is light, it will {\it require} a low-energy machine to precisely determine the couplings. We review the models, modes of discovery and rate expectations for these new particle searches at bottom and charm factories. We also discuss the options for new runs at bottom and charm factories relevant for these searches.

preprint2007arXiv

Mass Determination in SUSY-like Events with Missing Energy

We describe a kinematic method which is capable of determining the overall mass scale in SUSY-like events at a hadron collider with two missing (dark matter) particles. We focus on the kinematic topology in which a pair of identical particles is produced with each decaying to two leptons and an invisible particle (schematically, $pp\to YY+jets$ followed by each $Y$ decaying via $Y\to \ell X\to \ell\ell'N$ where $N$ is invisible). This topology arises in many SUSY processes such as squark and gluino production and decay, not to mention $t\anti t$ di-lepton decays. In the example where the final state leptons are all muons, our errors on the masses of the particles $Y$, $X$ and $N$ in the decay chain range from 4 GeV for 2000 events after cuts to 13 GeV for 400 events after cuts. Errors for mass differences are much smaller. Our ability to determine masses comes from considering all the kinematic information in the event, including the missing momentum, in conjunction with the quadratic constraints that arise from the $Y$, $X$ and $N$ mass-shell conditions. Realistic missing momentum and lepton momenta uncertainties are included in the analysis.

preprint2005arXiv

Invisible Quarkonium Decays as a Sensitive Probe of Dark Matter

We examine in a model-independent manner the measurements that can be performed at B-factories with sensitivity to dark matter. If a singlet scalar, pseudo-scalar, or vector is present and mediates the Standard Model - dark matter interaction, it can mediate invisible decays of quarkonium states such as the $Υ$, $J/Ψ$, and $η$. Such scenarios have arisen in the context of supersymmetry, extended Higgs sectors, solutions the supersymmetric $μ$ problem, and extra U(1) gauge groups from grand unified theories and string theory. Existing B-factories running at the $Υ(4S)$ can produce lower $Υ$ resonances by emitting an Initial State Radiation (ISR) photon. Using a combination of ISR and radiative decays, the initial state of an invisibly decaying quarkonium resonance can be tagged, giving sensitivity to the spin and CP-nature of the particle that mediates standard model-dark matter interactions. These measurements can discover or place strong constraints on dark matter scenarios where the dark matter is approximately lighter than the $b$-quark. For the decay chains $Υ(nS) \to π^+ π^- Υ(1S)$ (n=2,3) we analyze the dominant backgrounds and determine that with $400 fb^{-1}$ collected at the $Υ(4S)$, the B-factories can limit $BR(Υ(1S) \to invisible) \lsim 0.1%$.

preprint2004arXiv

Loop induced decays of the Little Higgs: H --> gg, gamma gamma

We analyze the loop induced decays of the Higgs boson into pairs of gluons and photons in the Littlest Higgs model. We find that the deviation of the partial widths for these decays relative to their Standard Model values scales with 1/f^2, where f ~ TeV is the mass scale of the new heavy particles in the model. For f = 1 TeV, Gamma(H -> gg) is reduced by 6-10% and Gamma(H -> gamma gamma) is reduced by 5-7% compared to their Standard Model values. While the LHC and a linear e+e- collider would be sensitive to these deviations only for relatively low values of f <~ 650 GeV, a photon collider could probe the deviation in Gamma(H -> gamma gamma) up to f <~ 1.1 (0.7) TeV at the 2 (5) sigma level.