Showing 1–2 of 2 results for author: Doan, T H

A Typed Programmatic Interface to Contracts on the Blockchain

Authors: Thi Thu Ha Doan, Peter Thiemann

Abstract: Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking contracts as well as observing the state of the blockchain. We propose a typed API for this purpose and establish some properties of the combined system. Specifically… ▽ More Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking contracts as well as observing the state of the blockchain. We propose a typed API for this purpose and establish some properties of the combined system. Specifically, we provide an execution model that enables us to prove type-safe interaction between programs and the blockchain. We establish further properties of the model that give rise to requirements on the API. A prototype of the interface is implemented in OCaml for the Tezos blockchain. △ Less

Submitted 29 August, 2021; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 19 pages + 8 pages appendix. Appears in APLAS 2021. Extended version with proofs in appendix

MSC Class: 68N15

SiW ECAL for future $e^+e^-$ collider

Authors: V. Balagura, S. Bilokin, J. Bonis, V. Boudry, J. -C. Brient, S. Callier, T. Cheng, R. Cornat, C. De La Taille, T. H. Doan, M. Frotin, F. Gastaldi, H. Hirai, S. Jain, Sh. Jain, D. Lacour, L. Lavergne, A. Lleres, F. Magniette, L. Mastrolorenzo, J. Nanni, R. Poeschl, A. Pozdnyakov, A. Psallidas, M. Ruan , et al. (7 additional authors not shown)

Abstract: Calorimeters with silicon detectors have many unique features and are proposed for several world-leading experiments. We discuss the tests of the first three 18x18 cm$^2$ layers segmented into 1024 pixels of the technological prototype of the silicon-tungsten electromagnetic calorimeter for a future $e^+e^-$ collider. The tests have beem performed in November 2015 at CERN SPS beam line. Calorimeters with silicon detectors have many unique features and are proposed for several world-leading experiments. We discuss the tests of the first three 18x18 cm$^2$ layers segmented into 1024 pixels of the technological prototype of the silicon-tungsten electromagnetic calorimeter for a future $e^+e^-$ collider. The tests have beem performed in November 2015 at CERN SPS beam line. △ Less

Submitted 20 June, 2017; v1 submitted 30 May, 2017; originally announced May 2017.

Comments: Proceedings for "Instrumentation for Colliding Beam Physics" (INSTR17) conference, 27 February - 3 March 2017, Novosibirsk, Russia

Journal ref: Journal of Instrumentation, 12 (2017) C07013