| LE VU TRUNG DUONG | D, 中間発表 | コンピューティング・アーキテクチャ | 中島 康彦, 笠原 正治, 張 任遠, KAN Yirong, PHAM HOAI LUAN |
|
title: Flexible and Energy-efficient Crypto-Processor for Arbitrary Input Length Processing in Blockchain-based IoT Applications
abstract: Blockchain-based Internet of Things (IoT) applications require flexible, fast, and low-power hashing hardware to ensure IoT data integrity and maintain blockchain network confidentiality. However, existing hashing hardware poses challenges in achieving high performance and low power and limits flexibility to compute multiple hash functions with different message lengths. This research introduces the flexible and energy-efficient crypto-processor (FECP) to achieve high flexibility, high speed, and low power with high hardware efficiency for blockchain-based IoT applications. To achieve these goals, three new techniques are proposed, namely the crypto arithmetic logic unit (Crypto-ALU), dual buffering extension (DBE), and local data memory (LDM) scheduler. The experiments on ASIC show that the FECP can perform various hash functions with a power consumption of 0.239-0.676 W, a throughput of 10.2-3.35 Gbps, energy efficiency of 4.44-14.01 Gbps/W, and support up to 8916-bit message input. Compared to state-of-art works, the proposed FECP is 1.65-4.49 times, 1.73-21.19 times, and 1.48-17.58 times better in throughput, energy efficiency, and energy-delay product (EDP), respectively. language of the presentation: English | |||
| WU YUXIAO | M, 2回目発表 | 大規模システム管理 | 笠原 正治, 門林 雄基, 笹部 昌弘（客員教授） |
|
title: Smart Contract-based E-Voting System Using Homomorphic Encryption and Zero-knowledge Proof
abstract: As an indispensable part of establishing modernrepresentative democratic organizations, election is based on a voting process on site or remotely. With the rapid development of information technology, the application of electronic voting systems in practice is significantly increasing in recent years. Consequently, whether an electronic voting system is secure and reliable enough is the most critical factor of the systems. Whereas, most of the existing proposals neglect to confirm the trustworthiness of the administrator, which may impact the security and availability of the system. For this purpose, we propose an up-to-date electronic voting system based on smart contract using additively homomorphic encryption and non-interactive zero-knowledge proof. In our work, we utilize a concise zero-knowledge proof algorithm and an inbound oracle in combination to allow voters to verify the fidelity of the administrator. We prove the feasibility, efficiency, and scalability of our system can satisfy a majority of application scenarios including large-scale voting. In particular, we evaluate the time performance and cost performance and demonstrate its merits including the low cost in many functions and linear performance when generating zero-knowledge language of the presentation: English | |||
| 阪上 遥 | M, 2回目発表 | ユビキタスコンピューティングシステム | 安本 慶一, 中村 哲, 諏訪 博彦, 松田 裕貴 |
|
title: People Flow Simulation Mechanism Using PoI-to-PoI Transition Probabilities and Synthetic Population Data
abstract: Before the spread of the coronavirus pandemic, overtourism was a problem in Japan's tourist destinations, which were concentrated in a small number of locations. Post-pandemic tourism requires a mechanism for optimizing people flow that solves this problem and encourages behavioral change, such as moving tourists from crowded places to quieter places, and dispersing them. In this study, we focus on the prediction of future people flow, and aim to predict future congestion and construct a digital twin of people flow by combining congestion sensing, which captures current human behavior, and people flow simulation, which can take into account local conditions and social situations. To achieve this, we take the following three approaches. First, the past and current congestion (number of people staying) at each Point of Interest (PoI) is obtained from the GPS trajectory data calculated using the "point-type flow population data" provided by Agoop, Inc. Then, the probability of movement between PoIs and transition probability matrices are obtained for each hour. Next, we simulate the movement of all people in the target area by creating movement routes that take into account the attribute information of people. Synthetic population data is used to obtain information on the attributes of people in the target area. Synthetic population data is a virtual composite data based on publicly available statistical data such as census results, and includes household information (address and composition), member age, gender, income, and so on. In order to minimize the error between the predicted and actual congestion levels, a transition probability matrix is used to iteratively modify a set of travel routes to construct a more accurate and realistic people flow simulation mechanism. language of the presentation:Japanese 発表題目: PoI間遷移確率と合成人口データを用いた人流シミュレーション機構の検討 発表概要: 新型コロナウイルス流行以前の日本の観光地では，一極集中のオーバーツーリズムが問題となっていた．ポストコロナの観光においては，この問題を解決し，観光客を混雑する場所から閑散としてる場所へ移動させるといった行動変容を促し，分散させる人流最適化の仕組みが必要である．そこで本研究では，人流の最適化の中でも特に，未来の人流予測に焦点を当て，現在の人々の行動を捉える混雑度センシングと，地域ごとの事情や社会的情勢を考慮可能な人流シミュレーションを組み合わせることで，未来の混雑度の予測および人流のデジタルツインの構築を行う．この実現のために，次の2つのアプローチを行った．まず，株式会社 Agoop によって提供されている「ポイント型流動人口データ」を使用し算出したGPSの軌跡データから，各場所（PoI：Point of Interest）の過去・現在の混雑状況（滞在人数データ）を取得し，時間ごとのPoI間の移動確率及び遷移確率行列を求めた．次に，人の属性情報を考慮した移動経路の作成を行い，対象エリアの全ての人の移動のシミュレーションを行った．人の属性情報には，国勢調査の結果など公開されている統計データに基づいて，仮想的に合成されたデータであり，世帯情報（住所・構成）・構成員の年齢，性別，所得などを含んでいる合成人口データを用いた．今後は，求めた遷移確率を用い，移動経路群を繰り返し修正を行うことで，より確度の高いリアルな人流シミュレーション機構の構築を目指す． | |||