Blockchain Papers

Ndenga Lumbu Barack

No abstract is available for this record.

Lin Fei, T Zhang, Ziyang Gong, Fei–Yue Wang

In recent years, generative artificial intelligence (GenAI) has demonstrated remarkable capabilities in high-stakes domains such as molecular science. However, challenges related to the verifiability and structural privacy of its outputs remain largely unresolved. This paper focuses on the task of molecular toxicity repair. It proposes a structure-private verification framework—ToxiEval-ZKP—which, for the first time, introduces zero-knowledge proof (ZKP) mechanisms into the evaluation process of this task. The system enables model developers to demonstrate to external verifiers that the generated molecules meet multidimensional toxicity repair criteria, without revealing the molecular structures themselves. To this end, we design a general-purpose circuit compatible with both classification and regression tasks, incorporating evaluation logic, Poseidon-based commitment hashing, and a nullifier-based replay prevention mechanism to build a complete end-to-end ZK verification system. Experimental results demonstrate that ToxiEval-ZKP facilitates adequate validation under complete structural invisibility, offering strong circuit efficiency, security, and adaptability, thereby opening up a novel paradigm for trustworthy evaluation in generative scientific tasks. The code is available at: https://github.com/DeepYoke/ToxiEval-ZKP .

Ran Wang, Cheng Xu, Fangwen Ye, S.H. Tang · 5 authors

Material data forms the foundation of the Industrial Internet of Things (IIoT). The rapid advancement of big data technology has opened up new opportunities for material research and development, ushering in the era of data-driven paradigms. As the cornerstone for material genetic engineering technology, the material big data platform is expanding its data scale and facing an increasing demand for sharing in light of the continuous progress and widespread application of big data technology. However, this development also poses security challenges, including the risks of data leakage and tampering. To address these challenges, this article focuses on the National Materials Genetic Engineering Discrete Data Exchange Platform (MGED). It leverages blockchain technology to design a secure material big-data storage and sharing architecture, S-MBDA, ensuring the security and reliability of the material’s big data platform. Additionally, a verifiable retrieval scheme based on a two-layer index structure of bitmap and MPT tree is proposed to enhance the efficiency of blockchain-based retrieval. This scheme aims to guarantee the integrity of retrieval data while achieving efficient and accurate searches across heterogeneous data sources. Through integrating blockchain technology and adopting a novel retrieval scheme, the article presents a comprehensive approach to secure material data storage, sharing, and retrieval. The proposed architecture and scheme address the critical security concerns associated with material big data platforms and contribute to the efficient and accurate retrieval of heterogeneous data.

Sadasivan Shankar

Estimates of energy usage in layers of computing from devices to algorithms have been determined and analyzed. Building on the previous analysis [3], energy needed from single devices and systems including three large-scale computing applications such as Artificial Intelligence (AI)/Machine Learning for Natural Language Processing, Scientific Simulations, and Cryptocurrency Mining have been estimated. In contrast to the bit-level switching, in which transistors achieved energy efficiency due to geometrical scaling, higher energy is expended both at the at the instructions and simulations levels of an application. Additionally, the analysis based on AI/ML Accelerators indicate that changes in architectures using an older semiconductor technology node have comparable energy efficiency with a different architecture using a newer technology. Further comparisons of the energy in computing systems with the thermodynamic and biological limits, indicate that there is a 27–36 orders of magnitude higher energy requirements for total simulation of an application. These energy estimates underscore the need for serious considerations of energy efficiency in computing by including energy as a design parameter, enabling growing needs of compute-intensive applications in a digital world.

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jaimie Hoh Kam · 6 authors

Zero-knowledge proof systems are becoming increasingly prevalent and being widely used to secure decentralized financial systems and protect the privacy of users. Given the sensitivity of these applications, zero-knowledge proof systems are a natural target for formal verification methods. We describe methods for checking one such proof system: Halo2. We use abstract interpretation and an SMT solver to check various properties of Halo2 circuits. Using abstract interpretation, we can detect unused gates, unconstrained cells, and unused columns. Using an SMT solver, we can detect under-constrained circuits (in the sense that for the same public input they have two efficiently computable satisfying assignments). This is the first work we are aware of that applies lightweight formal methods to PLONKish arithmetization and Halo2 circuits.

Huiling Fan

No abstract is available for this record.

Jinli Wang, Yong Fan, Hui Zhang, Libo Feng

Tracking scientific and technological (S&T) research hotspots can help scholars to grasp the status of current research and develop regular patterns in the field over time. It contributes to the generation of new ideas and plays an important role in promoting the writing of scientific research projects and scientific papers. Patents are important S&T resources, which can reflect the development status of the field. In this paper, we use topic modeling, topic intensity, and evolutionary computing models to discover research hotspots and development trends in the field of blockchain patents. First, we propose a time-based dynamic latent Dirichlet allocation (TDLDA) modeling method based on a probabilistic graph model and knowledge representation learning for patent text mining. Second, we present a computational model, topic intensity (TI), that expresses the topic strength and evolution. Finally, the point-wise mutual information (PMI) value is used to evaluate topic quality. We obtain 20 hot topics through TDLDA experiments and rank them according to the strength calculation model. The topic evolution model is used to analyze the topic evolution trend from the perspectives of rising, falling, and stable. From the experiments we found that 8 topics showed an upward trend, 6 topics showed a downward trend, and 6 topics became stable or fluctuated. Compared with the baseline method, TDLDA can have the best effect when K is 40 or less. TDLDA is an effective topic model that can extract hot topics and evolution trends of blockchain patent texts, which helps researchers to more accurately grasp the research direction and improves the quality of project application and paper writing in the blockchain technology domain.

Yanheng Xu, Rulin Liu, Jiagen Li, Yao Xu · 5 authors

Given that robots are being utilized extensively in chemical synthesis research, the potential applications of robots remain to be explored. Along with the remarkable progress of experimental science, circumstances have occurred in which publications were castigated because of irreproducibility, either because of rigorous experimental conditions or because of initial data forgery. Some credit-assignment issues and plagiarism cases also attracted intense attention throughout the community. As a possible solution to authenticity and originality problems, we herein propose a blockchain integrated automatic experiment platform, BiaeP, which attempts to provide solutions for those kinds of problems. As a result of the integration with blockchain, its data irreversibility secures the authenticity and the timestamp helps prove the originality. Two trial experiments are included as examples. We believe the architecture of BiaeP could be widely applicable for future development of scientific research in experimental subjects, such as chemistry, materials science, biology, and so forth.

Nigel S. Clarke, Björn Jürgens, Víctor Herrero-Solana

No abstract is available for this record.

Peter Robinson, Raghavendra Ramesh

The Layer 2 Atomic Cross-Blockchain Function Calls protocol allows composable programming across Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole call graph of function calls is rolled back. Existing atomic cross-blockchain function call protocols are Blockchain Layer 1 protocols, which require changes to the blockchain platform software to operate. Blockchain Layer 2 technologies such as the one described in this paper require no such changes. They operate on top of the infrastructure provided by the blockchain platform software. This paper introduces the protocol and a more scalable variant, provides an initial safety and liveness analysis, and presents the expected overhead of using this technology when compared to using multiple non-atomic single blockchain transactions. The overhead is analysed for three scenarios involving multiple blockchains: the Hotel and Train problem, Supply Chain with Provenance, and an Oracle. The protocol is shown to provide 93.8 or 186 cross-blockchain function calls per second for the Hotel and Train scenario when there are many travel agencies, for the standard and scalable variant of the protocol respectively, given the Ethereum client, Hyperledger Besu's performance of 375 tps, assuming a block period of one second, and assuming all transactions take the same amount of time to execute as the benchmark transactions.

Magnus W. D. Hanson‐Heine, Alexander P. Ashmore

Blockchain technology has had a substantial impact across multiple disciplines, creating new methods for storing and processing data with improved transparency, immutability, and reproducibility. These developments come at a time when the reproducibility of many scientific findings has been called into question, including computational studies. Here we present a computational chemistry simulation run directly on a blockchain virtual machine, using a harmonic potential to model the vibration of carbon monoxide. The results demonstrate for the first time that computational science calculations are feasible entirely within a blockchain environment and that they can be used to increase transparency and accessibility across the computational sciences.

Kanthi Sarpatwar, Roman Vaculín, Hong Shick Min, Gong Su · 7 authors

No abstract is available for this record.

Jeremy A. Scher, Michael G. Bayne, Amogh Srihari, Shikha Nangia · 5 authors

The relationship between structure and property is central to chemistry and enables the understanding of chemical phenomena and processes. Need for an efficient conformational sampling of chemical systems arises from the presence of solvents and the existence of non-zero temperatures. However, conformational sampling of structures to compute molecular quantum mechanical properties is computationally expensive because a large number of electronic structure calculations are required. In this work, the development and implementation of the effective stochastic potential (ESP) method is presented to perform efficient conformational sampling of molecules. The overarching goal of this work is to alleviate the computational bottleneck associated with performing a large number of electronic structure calculations required for conformational sampling. We introduce the concept of a deformation potential and demonstrate its existence by the proof-by-construction approach. A statistical description of the fluctuations in the deformation potential due to non-zero temperature was obtained using infinite-order moment expansion of the distribution. The formal mathematical definition of the ESP was derived using the functional minimization approach to match the infinite-order moment expansion for the deformation potential. Practical implementation of the ESP was obtained using the random-matrix theory method. The developed method was applied to two proof-of-concept calculations of the distribution of HOMO-LUMO gaps in water molecules and solvated CdSe clusters at 300 K. The need for large sample size to obtain statistically meaningful results was demonstrated by performing 105 ESP calculations. The results from these prototype calculations demonstrated the efficacy of the ESP method for performing efficient conformational sampling. We envision that the fundamental nature of this work will not only extend our knowledge of chemical systems at non-zero temperatures but also generate new insights for innovative technological applications.

James L. McDonagh, Arnaldo F. Silva, Mark A. Vincent, Paul L. A. Popelier

High Resolution Image Download MS PowerPoint Slide We present an innovative method for predicting the dynamic electron correlation energy of an atom or a bond in a molecule utilizing topological atoms. Our approach uses the machine learning method Kriging (Gaussian Process Regression with a non-zero mean function) to predict these dynamic electron correlation energy contributions. The true energy values are calculated by partitioning the MP2 two-particle density-matrix via the Interacting Quantum Atoms (IQA) procedure. To our knowledge, this is the first time such energies have been predicted by a machine learning technique. We present here three important proof-of-concept cases: the water monomer, the water dimer, and the van der Waals complex H 2 ···He. These cases represent the final step toward the design of a full IQA potential for molecular simulation. This final piece will enable us to consider situations in which dispersion is the dominant intermolecular interaction. The results from these examples suggest a new method by which dispersion potentials for molecular simulation can be generated.

Ben van Lier

Abstract A blockchain can be considered a technological phenomenon that is made up of different interconnected and autonomous systems. Such systems are referred to here as cyber‐physical systems: complex interconnections of cyber and physical components. When cyber‐physical systems are interconnected, a new whole consisting of a system of systems is created by the autonomous systems and their intercommunication and interaction. In a blockchain, individual systems can independently make decisions on joint information transactions. The decision‐making procedures needed for this are executed based on fault‐tolerant communication and voting and consensus procedures, while the results of these decision‐making procedures are stored in distributed ledgers. Due to the intercommunication, interaction, and independent decision making by autonomous systems, the new whole of a blockchain is a complex entity. Complexity science rather than the usual reductionist scientific approach can help us better understand the behaviour of the new and continuously developing whole of a blockchain as a technological phenomenon.