arXiv subjects

Michael Chiu

Publications and source records attributed to Michael Chiu.

4 recordsLinked to original sources

arXiv2023

Verifiable Manufacturing Using Blockchain

We propose a blockchain-based solution for enabling verifiability of manufacturing processes. We base our solution on the methodology of verifiable computing which, originally developed for cloud computing, enables clients to outsource computations to more powerful servers without the need to trust that the server correctly performed desired computation. Verifiable computing accomplishes this by enabling the client to generate cryptographic objects that the server must use to produce a cryptographic proof that verifies the correctness of results. The black box nature of servers in cloud computing is analogous to that of the manufacturing processes of an upstream manufacturer. In this work, we develop a one-to-one correspondence between physical processes and their digital representations as state sequences which is needed for the implementation of verifiable computing. Because direct application of verifiable computing in this case would be computationally prohibitive, we introduce a blockchain to provide a computationally feasible methodology for verifiable computing applied to physical processes. We implement and show the results of our implementation on a proof of concept, developed on Hyperledger Fabric.

cs.CR↗

arXiv2021

Debt Representation in UTXO Blockchains

We provide a UTXO model of blockchain transactions that is able to represent both credit and debt on the same blockchain. Ordinarily, the UTXO model is solely used to represent credit and the representation of credit and debit together is achieved using the account model because of its support for balances. However, the UTXO model provides superior privacy, safety, and scalability when compared to the account model. In this work, we introduce a UTXO model that has the flexibility of balances with the usual benefits of the UTXO model. This model extends the conventional UTXO model, which represents credits as unmatched outputs, by representing debts as unmatched inputs. We apply our model to solving the problem of transparency in reverse mortgage markets, in which some transparency is necessary for a healthy market but complete transparency leads to adverse outcomes. Here the pseudonymous properties of the UTXO model protect the privacy of loan recipients while still allowing an aggregate view of the loan market. We present a prototype of our implementation in Tendermint and discuss the design and its benefits.

cs.CR↗

arXiv2020

Backward Simulation of Multivariate Mixed Poisson Processes

The simulation of correlated multivariate Poisson processes with negative correlation between their components has many important applications in Finance, Insurance, Geophysics, and many other areas of applied probability. Introduced in our earlier work, the Backward Simulation (BS) approach to the simulation of correlated multivariate Poisson processes is able to capture a wide range of correlation, including extreme positive and extreme negative correlation, that is not possible with other approaches such as the forward simulation approach. Moreover, the BS approach enables simple and efficient generation of sample paths of correlated multivariate Poisson processes. In this work, we extend the BS approach to multivariate mixed Poisson processes.

stat.CO↗

arXiv2017

Correlated Multivariate Poisson Processes and Extreme Measures

Multivariate Poisson processes have many important applications in Insurance, Finance, and many other areas of Applied Probability. In this paper we study the backward simulation approach to modelling multivariate Poisson processes and analyze the connection to the extreme measures describing the joint distribution of the processes at the terminal simulation time.

stat.ME↗