BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jeremy Clark

Jeremy Clark contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.MPmath.PRCryptography and Security

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2022arXiv

Not so immutable: Upgradeability of Smart Contracts on Ethereum

A smart contract that is deployed to a blockchain system like Ethereum is, under reasonable circumstances, expected to be immutable and tamper-proof. This is both a feature (promoting integrity and transparency) and a bug (preventing security patches and feature updates). Modern smart contracts use software tricks to enable upgradeability, raising the research questions of how upgradeability is achieved and who is authorized to make changes. In this paper, we summarize and evaluate six upgradeability patterns. We develop a measurement framework for finding how many upgradeable contracts are on Ethereum that use certain prominent upgrade patters. We find 1.4 million proxy contracts which 8,225 of them are unique upgradeable proxy contracts. We also measure how they implement access control over their upgradeability: about 50% are controlled by a single Externally Owned Address (EOA), and about 14% are controlled by multi-signature wallets in which a limited number of persons can change the whole logic of the contract.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Weak-disorder limit for directed polymers on critical hierarchical graphs with vertex disorder

We study models for a directed polymer in a random environment (DPRE) in which the polymer traverses a hierarchical diamond graph and the random environment is defined through random variables attached to the vertices. For these models, we prove a distributional limit theorem for the partition function in a limiting regime wherein the system grows as the coupling of the polymer to the random environment is appropriately attenuated. The sequence of diamond graphs is determined by a choice of a branching number $b\in \{2,3,\ldots\}$ and segmenting number $s\in \{2,3,\ldots\}$, and our focus is on the critical case of the model where $b=s$. This extends recent work in the critical case of analogous models with disorder variables placed at the edges of the graphs rather than the vertices.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Weak-disorder limit at criticality for directed polymers on hierarchical graphs

We prove a distributional limit theorem conjectured in [Journal of Statistical Physics 174, No. 6, 1372-1403 (2019)] for partition functions defining models of directed polymers on diamond hierarchical graphs with disorder variables placed at the graphical edges. The limiting regime involves a joint scaling in which the number of hierarchical layers, $n\in \mathbb{N}$, of the graphs grows as the inverse temperature, $β\equiv β(n)$, vanishes with a fine-tuned dependence on $n$. The conjecture pertains to the marginally relevant disorder case of the model wherein the branching parameter $b \in \{2,3,\ldots\}$ and the segmenting parameter $s \in \{2,3,\ldots\}$ determining the hierarchical graphs are equal, which coincides with the diamond fractal embedding the graphs having Hausdorff dimension two. Unlike the analogous weak-disorder scaling limit for random polymer models on hierarchical graphs in the disorder relevant $b<s$ case (or for the (1+1)-dimensional polymer on the rectangular lattice), the distributional convergence of the partition function when $b=s$ cannot be approached through a term-by-term convergence to a Wiener chaos expansion, which does not exist for the continuum model emerging in the limit. The analysis proceeds by controlling the distributional convergence of the partition functions in terms of the Wasserstein distance through a perturbative generalization of Stein&#39;s method at a critical step. In addition, we prove that a similar limit theorem holds for the analogous model with disorder variables placed at the vertices of the graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The intermediate disorder regime for a directed polymer model on a hierarchical lattice

We study a directed polymer model defined on a hierarchical diamond lattice, where the lattice is constructed recursively through a recipe depending on a branching number $b\in \mathbb{N}$ and a segment number $s\in \mathbb{N}$. When $b\leq s$ previous work [27] has established that the model exhibits strong disorder for all positive values of the inverse temperature $β$, and thus weak disorder reigns only for $β=0$ (infinite temperature). Our focus is on the so-called intermediate disorder regime in which the inverse temperature $β\equiv β_{n}$ vanishes at an appropriate rate as the size $n$ of the system grows. Our analysis requires separate treatment for the cases $b<s$ and $b=s$. In the case $b<s$ we prove that when the inverse temperature is taken to be of the form $β_{n}=\widehatβ (b/s)^{n/2}$ for $\widehatβ>0$, the normalized partition function of the system converges weakly as $n \to \infty$ to a distribution $\mathbf{L}(\widehatβ)$ depending continuously on the parameter $\widehatβ$. In the case $b=s$ we find a critical point in the behavior of the model when the inverse temperature is scaled as $β_{n}=\widehatβ/n$; for an explicitly computable critical value $κ_{b} > 0$ the variance of the normalized partition function converges to zero with large $n$ when $\widehatβ\leq κ_{b}$ and grows without bound when $\widehatβ>κ_{b}$. Finally, we prove a central limit theorem for the normalized partition function when $\widehatβ\leq κ_{b}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A Brownian particle in a microscopic periodic potential

We study a model for a massive test particle in a microscopic periodic potential and interacting with a reservoir of light particles. In the regime considered, the fluctuations in the test particle&#39;s momentum resulting from collisions typically outweigh the shifts in momentum generated by the periodic force, and so the force is effectively a perturbative contribution. The mathematical starting point is an idealized reduced dynamics for the test particle given by a linear Boltzmann equation. In the limit that the mass ratio of a single reservoir particle to the test particle tends to zero, we show that there is convergence to the Ornstein-Uhlenbeck process under the standard normalizations for the test particle variables. Our analysis is primarily directed towards bounding the perturbative effect of the periodic potential on the particle&#39;s momentum.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A limit theorem to a time-fractional diffusion

We prove a limit theorem for an integral functional of a Markov process. The Markovian dynamics is characterized by a linear Boltzmann equation modeling a one-dimensional test particle of mass $λ^{-1}\gg 1$ in an external periodic potential and undergoing collisions with a background gas of particles with mass one. The object of our limit theorem is the time integral of the force exerted on the test particle by the potential, and we consider this quantity in the limit that $λ$ tends to zero for time intervals on the scale $λ^{-1}$. Under appropriate rescaling, the total drift in momentum generated by the potential converges to a Brownian motion time-changed by the local time at zero of an Ornstein-Uhlenbeck process.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Introducing Accountability to Anonymity Networks

Many anonymous communication (AC) networks rely on routing traffic through proxy nodes to obfuscate the originator of the traffic. Without an accountability mechanism, exit proxy nodes risk sanctions by law enforcement if users commit illegal actions through the AC network. We present BackRef, a generic mechanism for AC networks that provides practical repudiation for the proxy nodes by tracing back the selected outbound traffic to the predecessor node (but not in the forward direction) through a cryptographically verifiable chain. It also provides an option for full (or partial) traceability back to the entry node or even to the corresponding user when all intermediate nodes are cooperating. Moreover, to maintain a good balance between anonymity and accountability, the protocol incorporates whitelist directories at exit proxy nodes. BackRef offers improved deployability over the related work, and introduces a novel concept of pseudonymous signatures that may be of independent interest. We exemplify the utility of BackRef by integrating it into the onion routing (OR) protocol, and examine its deployability by considering several system-level aspects. We also present the security definitions for the BackRef system (namely, anonymity, backward traceability, no forward traceability, and no false accusation) and conduct a formal security analysis of the OR protocol with BackRef using ProVerif, an automated cryptographic protocol verifier, establishing the aforementioned security properties against a strong adversarial model.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Bounds for the state-modulated resolvent of a linear Boltzmann generator

We study a generalized resolvent for the generator of a Markovian semigroup. The Markovian generator appears in a linear Boltzmann equation modeling a one-dimensional test particle in a periodic potential and colliding elastically with particles from an ideal background gas. We obtain bounds for the state-modulated resolvent which are relevant in the regime where the mass ratio between the test particle and a particle from the gas is large. These bounds relate to the typical amount of time that the particle spends in different regions of phase space before arriving to a region around the origin.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Diffusive behavior for randomly kicked Newtonian particles in a spatially periodic medium

We prove a central limit theorem for the momentum distribution of a particle undergoing an unbiased spatially periodic random forcing at exponentially distributed times without friction. The start is a linear Boltzmann equation for the phase space density, where the average energy of the particle grows linearly in time. Rescaling time, the momentum converges to a Brownian motion, and the position is its time-integral showing superdiffusive scaling with time $t^{3/2}$. The analysis has two parts: (1) to show that the particle spends most of its time at high energy, where the spatial environment is practically invisible; (2) to treat the low energy incursions where the motion is dominated by the deterministic force, with potential drift but where symmetry arguments cancel the ballistic behavior.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Diffusive behavior from a quantum master equation

We study a general class of translation invariant quantum Markov evolutions for a particle on $\bbZ^d$. The evolution consists of free flow, interrupted by scattering events. We assume spatial locality of the scattering events and exponentially fast relaxation of the momentum distribution. It is shown that the particle position diffuses in the long time limit. This generalizes standard results about central limit theorems for classical (non-quantum) Markov processes.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

An infinite-temperature limit for a quantum scattering process

We study a quantum dynamical semigroup driven by a Lindblad generator with a deterministic Schrödinger part and a noisy Poission-timed scattering part. The dynamics describes the evolution of a test particle in $\R^{n}$, $n=1,2,3$, immersed in a gas, and the noisy scattering part is defined by the reduced effect of an individual interaction, where the interaction between the test particle and a single gas particle is via a repulsive point potential. In the limit that the mass ratio $λ=\frac{m}{M}$ tends to zero and the collisions become more frequent as $\frac{1}λ$, we show that our dynamics $Φ_{t,λ}$ approaches a limiting dynamics $Φ_{t,λ}^{\diamond}$ with second order error. Working in the Heisenberg representation, for $G\in \Bi(L^{2}(\R^{n}))$ $n=1,3$ we bound the difference between $Φ_{t,λ}(G)$ and $Φ_{t,λ}^{\diamond}(G)$ in operator norm proportional to $λ^{2}$.

0 citations0 reviewsNo code linkedOpen access