Lightweight Selective Disclosure for Verifiable Documents on Blockchain

To achieve lightweight selective disclosure for protecting privacy of document holders, we propose an XML format for documents that can hide arbitrary elements using a cryptographic hash function and salts, which allows to be partially digitally signed and efficiently verified, as well as a JSON format that can be converted to such XML. The documents can be efficiently proven to exist by representing multiple such structures as a Merkle tree and storing its root in blockchain. We show that our proposal has advantages over known methods that represent the document itself as a Merkle tree and partially hide it.Comment: 8 pages, 3 figures, 1 table. Submitted to ICT Expres

Hirota bilinear forms with 2-toroidal symmetry

In this note, we compute Hirota bilinear forms arising from both homogeneous and principal realization of vertex representations of 2-toroidal Lie algebras of type $A_l, D_l, E_l$.Comment: 11 pages, AMS-latex fil

Towards Application Portability on Blockchains

We discuss the issue of what we call {\em incentive mismatch}, a fundamental problem with public blockchains supported by economic incentives. This is an open problem, but one potential solution is to make application portable. Portability is desirable for applications on private blockchains. Then, we present examples of middleware designs that enable application portability and, in particular, support migration between blockchains.Comment: Proc. IEEE HotICN 2018, August 201

Protective Effects of Bacterial Immunostimulants, OK-432 and LC 9018 on Pseudomonas aeruginosa Infection in Tumor-Bearing Mice

Survival rates among sarcoma-180 bearing mice against Pseudomonas aeruginosa infection were fewer than those among normal mice. However, the mortality of tumorbearing mice against the infection was reduced in case of administration of bacterial immunostimulants such as OK-432 and LC 9018