@phdthesis{8311, abstract = {One of the core promises of blockchain technology is that of enabling trustworthy data dissemination in a trustless environment. What current blockchain systems deliver, however, is slow dissemination of public data, rendering blockchain technology unusable in settings where latency, transaction capacity, or data confidentiality are important. In this thesis we focus on providing solutions on two of the most pressing problems blockchain technology currently faces: scalability and data confidentiality. To address the scalability issue, we present OMNILEDGER, a novel scale-out distributed ledger that preserves long-term security under permissionless operation. It ensures security and correctness by using a bias-resistant public-randomness protocol for choosing large, statistically representative shards that process transactions, and by introducing an efficient cross-shard commit protocol that atomically handles transactions affecting multiple shards. To enable secure sharing of confidential data we present CALYPSO, the first fully decentralized, auditable access-control framework for secure blockchain-based data sharing which builds upon two abstractions. First, on-chain secrets enable collective management of (verifiably shared) secrets under a Byzantine adversary where an access-control blockchain enforces user-specific access rules and a secret-management cothority administers encrypted data. Second, skipchain-based identity and access management enables efficient administration of dynamic, sovereign identities and access policies and, in particular, permits clients to maintain long-term relationships with respect to evolving user identities thanks to the trust-delegating forward links of skipchains. In order to build OMNILEDGER and CALYPSO, we first build a set of tools for efficient decentralization, which are presented in Part II of this dissertation. These tools can be used in decentralized and distributed systems to achieve (1) scalable consensus (BYZCOIN), (2) bias- resistant distributed randomness creations (RANDHOUND), and (3) relationship-keeping between independently updating communication endpoints (SKIPCHAINIAC). Although we use this tools in the scope off this thesis, they can be (and already have been) used in a far wider scope.}, author = {Kokoris Kogias, Eleftherios}, pages = {244}, publisher = {École Polytechnique Fédérale de Lausanne}, title = {{Secure, confidential blockchains providing high throughput and low latency}}, doi = {10.5075/epfl-thesis-7101}, year = {2019}, } @unpublished{8314, abstract = {Off-chain protocols (channels) are a promising solution to the scalability and privacy challenges of blockchain payments. Current proposals, however, require synchrony assumptions to preserve the safety of a channel, leaking to an adversary the exact amount of time needed to control the network for a successful attack. In this paper, we introduce Brick, the first payment channel that remains secure under network asynchrony and concurrently provides correct incentives. The core idea is to incorporate the conflict resolution process within the channel by introducing a rational committee of external parties, called Wardens. Hence, if a party wants to close a channel unilaterally, it can only get the committee's approval for the last valid state. Brick provides sub-second latency because it does not employ heavy-weight consensus. Instead, Brick uses consistent broadcast to announce updates and close the channel, a light-weight abstraction that is powerful enough to preserve safety and liveness to any rational parties. Furthermore, we consider permissioned blockchains, where the additional property of auditability might be desired for regulatory purposes. We introduce Brick+, an off-chain construction that provides auditability on top of Brick without conflicting with its privacy guarantees. We formally define the properties our payment channel construction should fulfill, and prove that both Brick and Brick+ satisfy them. We also design incentives for Brick such that honest and rational behavior aligns. Finally, we provide a reference implementation of the smart contracts in Solidity.}, author = {Avarikioti, Georgia and Kokoris Kogias, Eleftherios and Wattenhofer, Roger and Zindros, Dionysis}, booktitle = {arXiv}, title = {{Brick: Asynchronous payment channels}}, year = {2019}, } @unpublished{8315, abstract = {Sharding distributed ledgers is the most promising on-chain solution for scaling blockchain technology. In this work, we define and analyze the properties a sharded distributed ledger should fulfill. More specifically, we show that a sharded blockchain cannot be scalable under a fully adaptive adversary, but it can scale up to $O(n/\log n)$ under an epoch-adaptive adversary. This is possible only if the distributed ledger creates succinct proofs of the valid state updates at the end of each epoch. Our model builds upon and extends the Bitcoin backbone protocol by defining consistency and scalability. Consistency encompasses the need for atomic execution of cross-shard transactions to preserve safety, whereas scalability encapsulates the speedup a sharded system can gain in comparison to a non-sharded system. In order to show the power of our framework, we analyze the most prominent sharded blockchains and either prove their correctness (OmniLedger, RapidChain) under our model or pinpoint where they fail to balance the consistency and scalability requirements (Elastico, Monoxide). }, author = {Avarikioti, Georgia and Kokoris Kogias, Eleftherios and Wattenhofer, Roger}, booktitle = {arXiv}, title = {{Divide and scale: Formalization of distributed ledger sharding protocols}}, year = {2019}, } @misc{8313, abstract = {The present invention concerns a computer-implemented method for secure data exchange between a sender (A) and a recipient (B), wherein the method is performed by the sender (A) and comprises encrypting data using a symmetric key k, creating a write transaction T W , wherein the write transaction T W comprises information usable to derive the symmetric key k and an access policy identifying the recipient (B) as being allowed to decrypt the encrypted data, providing the recipient (B) access to the encrypted data, and sending the write transaction T W to a first group of servers (AC) for being stored in a blockchain data structure maintained by the first group of servers (AC).}, author = {Ford, Bryan and Gasser, Linus and Kokoris Kogias, Eleftherios and Janovic, Philipp}, title = {{Methods and systems for secure data exchange}}, year = {2019}, } @article{8405, abstract = {Atomic-resolution structure determination is crucial for understanding protein function. Cryo-EM and NMR spectroscopy both provide structural information, but currently cryo-EM does not routinely give access to atomic-level structural data, and, generally, NMR structure determination is restricted to small (<30 kDa) proteins. We introduce an integrated structure determination approach that simultaneously uses NMR and EM data to overcome the limits of each of these methods. The approach enables structure determination of the 468 kDa large dodecameric aminopeptidase TET2 to a precision and accuracy below 1 Å by combining secondary-structure information obtained from near-complete magic-angle-spinning NMR assignments of the 39 kDa-large subunits, distance restraints from backbone amides and ILV methyl groups, and a 4.1 Å resolution EM map. The resulting structure exceeds current standards of NMR and EM structure determination in terms of molecular weight and precision. Importantly, the approach is successful even in cases where only medium-resolution cryo-EM data are available.}, author = {Gauto, Diego F. and Estrozi, Leandro F. and Schwieters, Charles D. and Effantin, Gregory and Macek, Pavel and Sounier, Remy and Sivertsen, Astrid C. and Schmidt, Elena and Kerfah, Rime and Mas, Guillaume and Colletier, Jacques-Philippe and Güntert, Peter and Favier, Adrien and Schoehn, Guy and Schanda, Paul and Boisbouvier, Jerome}, issn = {2041-1723}, journal = {Nature Communications}, keywords = {General Biochemistry, Genetics and Molecular Biology, General Physics and Astronomy, General Chemistry}, publisher = {Springer Nature}, title = {{Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex}}, doi = {10.1038/s41467-019-10490-9}, volume = {10}, year = {2019}, } @article{8406, abstract = {Coordinated conformational transitions in oligomeric enzymatic complexes modulate function in response to substrates and play a crucial role in enzyme inhibition and activation. Caseinolytic protease (ClpP) is a tetradecameric complex, which has emerged as a drug target against multiple pathogenic bacteria. Activation of different ClpPs by inhibitors has been independently reported from drug development efforts, but no rationale for inhibitor-induced activation has been hitherto proposed. Using an integrated approach that includes x-ray crystallography, solid- and solution-state nuclear magnetic resonance, molecular dynamics simulations, and isothermal titration calorimetry, we show that the proteasome inhibitor bortezomib binds to the ClpP active-site serine, mimicking a peptide substrate, and induces a concerted allosteric activation of the complex. The bortezomib-activated conformation also exhibits a higher affinity for its cognate unfoldase ClpX. We propose a universal allosteric mechanism, where substrate binding to a single subunit locks ClpP into an active conformation optimized for chaperone association and protein processive degradation.}, author = {Felix, Jan and Weinhäupl, Katharina and Chipot, Christophe and Dehez, François and Hessel, Audrey and Gauto, Diego F. and Morlot, Cecile and Abian, Olga and Gutsche, Irina and Velazquez-Campoy, Adrian and Schanda, Paul and Fraga, Hugo}, issn = {2375-2548}, journal = {Science Advances}, number = {9}, publisher = {American Association for the Advancement of Science}, title = {{Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors}}, doi = {10.1126/sciadv.aaw3818}, volume = {5}, year = {2019}, } @article{8413, abstract = {NMR relaxation dispersion methods provide a holistic way to observe microsecond time-scale protein backbone motion both in solution and in the solid state. Different nuclei (1H and 15N) and different relaxation dispersion techniques (Bloch–McConnell and near-rotary-resonance) give complementary information about the amplitudes and time scales of the conformational dynamics and provide comprehensive insights into the mechanistic details of the structural rearrangements. In this paper, we exemplify the benefits of the combination of various solution- and solid-state relaxation dispersion methods on a microcrystalline protein (α-spectrin SH3 domain), for which we are able to identify and model the functionally relevant conformational rearrangements around the ligand recognition loop occurring on multiple microsecond time scales. The observed loop motions suggest that the SH3 domain exists in a binding-competent conformation in dynamic equilibrium with a sterically impaired ground-state conformation both in solution and in crystalline form. This inherent plasticity between the interconverting macrostates is compatible with a conformational-preselection model and provides new insights into the recognition mechanisms of SH3 domains.}, author = {Rovó, Petra and Smith, Colin A. and Gauto, Diego and de Groot, Bert L. and Schanda, Paul and Linser, Rasmus}, issn = {0002-7863}, journal = {Journal of the American Chemical Society}, keywords = {Colloid and Surface Chemistry, Biochemistry, General Chemistry, Catalysis}, number = {2}, pages = {858--869}, publisher = {American Chemical Society}, title = {{Mechanistic insights into microsecond time-scale motion of solid proteins using complementary 15N and 1H relaxation dispersion techniques}}, doi = {10.1021/jacs.8b09258}, volume = {141}, year = {2019}, } @article{8412, abstract = {Microsecond to millisecond timescale backbone dynamics of the amyloid core residues in Y145Stop human prion protein (PrP) fibrils were investigated by using 15N rotating frame (R1ρ) relaxation dispersion solid‐state nuclear magnetic resonance spectroscopy over a wide range of spin‐lock fields. Numerical simulations enabled the experimental relaxation dispersion profiles for most of the fibril core residues to be modelled by using a two‐state exchange process with a common exchange rate of 1000 s−1, corresponding to protein backbone motion on the timescale of 1 ms, and an excited‐state population of 2 %. We also found that the relaxation dispersion profiles for several amino acids positioned near the edges of the most structured regions of the amyloid core were better modelled by assuming somewhat higher excited‐state populations (∼5–15 %) and faster exchange rate constants, corresponding to protein backbone motions on the timescale of ∼100–300 μs. The slow backbone dynamics of the core residues were evaluated in the context of the structural model of human Y145Stop PrP amyloid.}, author = {Shannon, Matthew D. and Theint, Theint and Mukhopadhyay, Dwaipayan and Surewicz, Krystyna and Surewicz, Witold K. and Marion, Dominique and Schanda, Paul and Jaroniec, Christopher P.}, issn = {1439-4235}, journal = {ChemPhysChem}, keywords = {Physical and Theoretical Chemistry, Atomic and Molecular Physics, and Optics}, number = {2}, pages = {311--317}, publisher = {Wiley}, title = {{Conformational dynamics in the core of human Y145Stop prion protein amyloid probed by relaxation dispersion NMR}}, doi = {10.1002/cphc.201800779}, volume = {20}, year = {2019}, } @article{8411, abstract = {Studying protein dynamics on microsecond‐to‐millisecond (μs‐ms) time scales can provide important insight into protein function. In magic‐angle‐spinning (MAS) NMR, μs dynamics can be visualized by R1p rotating‐frame relaxation dispersion experiments in different regimes of radio‐frequency field strengths: at low RF field strength, isotropic‐chemical‐shift fluctuation leads to “Bloch‐McConnell‐type” relaxation dispersion, while when the RF field approaches rotary resonance conditions bond angle fluctuations manifest as increased R1p rate constants (“Near‐Rotary‐Resonance Relaxation Dispersion”, NERRD). Here we explore the joint analysis of both regimes to gain comprehensive insight into motion in terms of geometric amplitudes, chemical‐shift changes, populations and exchange kinetics. We use a numerical simulation procedure to illustrate these effects and the potential of extracting exchange parameters, and apply the methodology to the study of a previously described conformational exchange process in microcrystalline ubiquitin.}, author = {Marion, Dominique and Gauto, Diego F. and Ayala, Isabel and Giandoreggio-Barranco, Karine and Schanda, Paul}, issn = {1439-4235}, journal = {ChemPhysChem}, keywords = {Physical and Theoretical Chemistry, Atomic and Molecular Physics, and Optics}, number = {2}, pages = {276--284}, publisher = {Wiley}, title = {{Microsecond protein dynamics from combined Bloch-McConnell and Near-Rotary-Resonance R1p relaxation-dispersion MAS NMR}}, doi = {10.1002/cphc.201800935}, volume = {20}, year = {2019}, } @article{8415, abstract = {We consider billiards obtained by removing three strictly convex obstacles satisfying the non-eclipse condition on the plane. The restriction of the dynamics to the set of non-escaping orbits is conjugated to a subshift on three symbols that provides a natural labeling of all periodic orbits. We study the following inverse problem: does the Marked Length Spectrum (i.e., the set of lengths of periodic orbits together with their labeling), determine the geometry of the billiard table? We show that from the Marked Length Spectrum it is possible to recover the curvature at periodic points of period two, as well as the Lyapunov exponent of each periodic orbit.}, author = {Bálint, Péter and De Simoi, Jacopo and Kaloshin, Vadim and Leguil, Martin}, issn = {0010-3616}, journal = {Communications in Mathematical Physics}, keywords = {Mathematical Physics, Statistical and Nonlinear Physics}, number = {3}, pages = {1531--1575}, publisher = {Springer Nature}, title = {{Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards}}, doi = {10.1007/s00220-019-03448-x}, volume = {374}, year = {2019}, }