arXiv subjects

Henry M. Kim

Publications and source records attributed to Henry M. Kim.

10 recordsLinked to original sources

arXiv2026

OreProof: Verifiable Provenance with Limited Disclosure for Critical-Minerals Supply Chains Using Zero-Knowledge Proofs

Critical-minerals supply chains face a structural tension: regulators and buyers demand verifiable provenance, yet upstream actors are hesitant to disclose supplier identities, assay grades/yields, and prices that verification appears to require. We report a design science account of OreProof, a prototypical traceability platform addressing this verifiability-disclosure trade-off. Instantiated for gold, OreProof combines a hybrid on-chain/off-chain data model, Groth16 zero-knowledge proofs for selective disclosure, a Merkle-batched anchoring pipeline, and UNTP-aligned verifiable credentials on a public zkEVM testnet. Against a transparent baseline, directly inferable confidential attributes fell from three of four categories to none under a defined attacker model, while batched anchoring substantially improved throughput. Our contributions are the artifact prototype as well as four nascent design principles: prove over committed data rather than exposing it; credential only verifiable origin and flag unknown inputs for blended commodities; emit standards-aligned credentials from the outset; and partition disclosure by supply-chain role.

cs.CR↗

arXiv2026

Detoxifying Toxic Communication: A Design Science Approach to Responsible AI

Toxic language in digital workplaces such as pejoratives, sarcasm, condescension, and subtle incivility can erode trust, morale, and collaboration. Existing moderation tools primarily delete or block harmful messages, disrupting communication and offering no constructive resolution. This study adopts a Design Science Research approach to create a responsible AI artifact that detects and detoxifies toxic communication. The artifact integrates fine-tuned transformer-based classifiers (DistilBERT, DistilRoBERTa) with a generative detoxification model (mT0-XL-Detox-ORPO) that rewrites toxic text into semantically equivalent, non-offensive paraphrases. Technical evaluation demonstrates high accuracy in toxicity detection and strong semantic preservation in rewritten messages, supporting conversation continuity while reinforcing respectful discourse. The paper contributes design principles for responsible AI moderation that prioritize meaning preservation and fairness.

cs.CY↗

arXiv2020

Proof-of-Useful-Work as Dual-Purpose Mechanism for Blockchain and AI: Blockchain Consensus that Enables Privacy Preserving Data Mining

Blockchains rely on a consensus among participants to achieve decentralization and security. However, reaching consensus in an online, digital world where identities are not tied to physical users is a challenging problem. Proof-of-work provides a solution by linking representation to a valuable, physical resource. While this has worked well, it uses a tremendous amount of specialized hardware and energy, with no utility beyond blockchain security. Here, we propose an alternative consensus scheme that directs the computational resources to the optimization of machine learning (ML) models, a task with more general utility. This is achieved by a hybrid consensus scheme relying on three parties: data providers, miners, and a committee. The data provider makes data available and provides payment in return for the best model, miners compete about the payment and access to the committee by producing ML optimized models, and the committee controls the ML competition.

cs.CR↗

arXiv2020

Token Economics in Real-Life: Cryptocurrency and Incentives Design for Insolar Blockchain Network

The study of how to set up cryptocurrency incentive mechanisms and to operationalize governance is token economics. Given the $250 billion market cap for cryptocurrencies, there is compelling need to investigate this topic. In this paper, we present facets of the token engineering process for a real-life 80-person Swiss blockchain startup, Insolar. We show how Insolar used systems modeling and simulation combined with cryptocurrency expertise to design a mechanism to incentivize enterprises and individual users to use their new MainNet public blockchain network. The study showed subsidy pools that incentivize application developers to develop on the network does indeed have the desired positive effect on MainNet adoption. For a startup like Insolar whose success hinge upon how well their model incentivizes various stakeholders to participate on their MainNet network versus that of numerous alternatives, this token economics simulation analysis provides invaluable insights.

cs.SI↗

arXiv2019

Blockchain Based Transactive Energy Systems for Voltage Regulation

Transactive Energy Systems (TES) are modern mechanisms in electric power systems that allow disparate control agents to utilize distributed generation units (DGs) to engage in energy transactions and provide ancillary services to the grid. Although voltage regulation is a crucial ancillary service within active distribution networks (ADNs), previous work has not adequately explored how this service can be offered in terms of its incentivization, contract auditability and enforcement. Blockchain technology shows promise in being a key enabler of TES, allowing agents to engage in trustless, persistent transactions that are both enforceable and auditable. To that end, this paper proposes a blockchain based TES that enables agents to receive incentives for providing voltage regulation services by i) maintaining an auditable reputation rating for each agent that is increased proportionately with each mitigation of a voltage violation, ii) utilizing smart contracts to enforce the validity of each transaction and penalize reputation ratings in case of a mitigation failure and iii) automating the negotiation and bidding of agent services by implementing the contract net protocol (CNP) as a smart contract. Experimental results on both simulated and real-world ADNs are executed to demonstrate the efficacy of the proposed system.

cs.CR↗

arXiv2019

Design and Field Implementation of Blockchain Based Renewable Energy Trading in Residential Communities

This paper proposes a peer to peer (P2P), blockchain based energy trading market platform for residential communities with the objective of reducing overall community peak demand and household electricity bills. Smart homes within the community place energy bids for its available distributed energy resources (DERs) for each discrete trading period during a day, and a double auction mechanism is used to clear the market and compute the market clearing price (MCP). The marketplace is implemented on a permissioned blockchain infrastructure, where bids are stored to the immutable ledger and smart contracts are used to implement the MCP calculation and award service contracts to all winning bids. Utilizing the blockchain obviates the need for a trusted, centralized auctioneer, and eliminates vulnerability to a single point of failure. Simulation results show that the platform enables a community peak demand reduction of 46%, as well as a weekly savings of 6%. The platform is also tested at a real-world Canadian microgrid using the Hyperledger Fabric blockchain framework, to show the end to end connectivity of smart home DERs to the platform.

eess.SY↗

arXiv2018

A First Step in the Co-Evolution of Blockchain and Ontologies: Towards Engineering an Ontology of Governance at the Blockchain Protocol Level

At the beginning of 2018, there is a growing belief that blockchain technologies constitute a revolutionary innovation in how we transfer value electronically. In that vein, blockchain may be a suitable complement to ontologies to achieve a big part of the vision of the semantic Web by Tim Berners-Lee. We believe that if this complementarity is to be achieved blockchain and ontologies must co-evolve. In this paper, we focus on what and how to engineer models, methods, designs, and implementations for this co-evolution. As a first step in this co-evolution, we propose a conceptual design of a governance ontology represented as meta-data tags to be embedded and instantiated in a smart contract at the blockchain protocol level. We develop this design by examining and analyzing smart contracts from the infamous The DAO experiment on the Ethereum blockchain. We believe there are two contributions of this paper: it serves to inform and implore the blockchain and ontology communities to recognize and collaborate with each other; and it outlines a roadmap for engineering artifacts to bridge the gap between blockchain community focus on protocol-level blockchain interoperability and the ontology community focus on semantic-level interoperability.

cs.CY↗

arXiv2016

Data Analytics using Ontologies of Management Theories: Towards Implementing 'From Theory to Practice'

We explore how computational ontologies can be impactful vis-a-vis the developing discipline of "data science." We posit an approach wherein management theories are represented as formal axioms, and then applied to draw inferences about data that reside in corporate databases. That is, management theories would be implemented as rules within a data analytics engine. We demonstrate a case study development of such an ontology by formally representing an accounting theory in First-Order Logic. Though quite preliminary, the idea that an information technology, namely ontologies, can potentially actualize the academic cliche, "From Theory to Practice," and be applicable to the burgeoning domain of data analytics is novel and exciting.

cs.AI↗

arXiv2016

Towards an Ontology-Driven Blockchain Design for Supply Chain Provenance

An interesting research problem in our age of Big Data is that of determining provenance. Granular evaluation of provenance of physical goods--e.g. tracking ingredients of a pharmaceutical or demonstrating authenticity of luxury goods--has often not been possible with today's items that are produced and transported in complex, inter-organizational, often internationally-spanning supply chains. Recent adoption of Internet of Things and Blockchain technologies give promise at better supply chain provenance. We are particularly interested in the blockchain as many favoured use cases of blockchain are for provenance tracking. We are also interested in applying ontologies as there has been some work done on knowledge provenance, traceability, and food provenance using ontologies. In this paper, we make a case for why ontologies can contribute to blockchain design. To support this case, we analyze a traceability ontology and translate some of its representations to smart contracts that execute a provenance trace and enforce traceability constraints on the Ethereum blockchain platform.

cs.CY↗

arXiv2016

Rapid Prototyping of a Text Mining Application for Cryptocurrency Market Intelligence

Blockchain represents a technology for establishing a shared, immutable version of the truth between a network of participants that do not trust one another, and therefore has the potential to disrupt any financial or other industries that rely on third-parties to establish trust. Recent trends in computing including: prevalence of Free and Open Source Software (FOSS); easy access to High Performance Computing (HPC i.e. 'The Cloud'); and increasingly advanced analytics capabilities such as Natural Language Processing (NLP) and Machine Learning (ML) allow for rapidly prototyping applications for analysis of trends in the emergence of Blockchain technology. A scaleable proof-of-concept pipeline that lays the groundwork for analysis of multiple streams of semi-structured data posted on social media is demonstrated. Preliminary analysis and performance metrics are presented and discussed. Future work is described that will scale the system to cloud-based, real-time, analysis of multiple data streams, with Information Extraction (IE) (ex. sentiment analysis) and Machine Learning capability.

cs.CY↗