The convergence of artificial intelligence, cryptocurrency, and blockchain has created a communication crisis: professionals must navigate fragmented applications, wallets, agents, and protocols to accomplish what should be a single action. KHALL KII™ introduces a voice-first communication instrument built natively for the programmable economy. KHALL KII™ is the consumer-facing communication layer of the KHEMONAUTICS antientropic ecosystem. It combines the Kryptophon™ language for programmable value, the Khonver™ universal interoperability protocol, the Khotor™ computational motor, and the Khounter™ proof standard into a single, radically simple human interface. The fundamental interaction is Press. Speak. Release. The system understands intent, routes communication, verifies identity, executes authorized actions, preserves memory, and issues cryptographic proof across humans, AI agents, digital assets, and blockchain networks. This paper establishes the complete architecture, product family, vocabulary, hardware tiers, software platform, business model, legal framework, and intellectual property strategy for KHALL KII™. Every claim is scoped to what is specified and what is designed; implementation status is clearly distinguished from specification status throughout.
Robots are improving their autonomy with minimal human supervision. However, auditable actions, transparent decision processes, and new human-robot interaction models are still missing requirements to achieve extended robot autonomy. To tackle these challenges, we propose RODEO (RObotic DEcentralized Organization), a blockchain-based framework that integrates trust and accountability mechanisms for robots. This paper formalizes Decentralized Autonomous Organizations (DAOs) for service robots. First, it provides a ROS-ETH bridge between the DAO and the robots. Second, it offers templates that enable organizations (e.g., companies, universities) to integrate service robots into their operations. Third, it provides proof-verification mechanisms that allow robot actions to be auditable. In our experimental setup, a mobile robot was deployed as a trash collector in a lab scenario. The robot collects trash and uses a smart bin to sort and dispose of it correctly. Then, the robot submits a proof of the successful operation and is compensated in DAO tokens. Finally, the robot re-invests the acquired funds to purchase battery charging services. Data collected in a three day experiment show that the robot doubled its income and reinvested funds to extend its operating time. The proof validation times of approximately one minute ensured verifiable task execution, while the accumulated robot income successfully funded up to 88 hours of future autonomous operation. The results of this research give insights about how robots and organizations can coordinate tasks and payments with auditable execution proofs and on-chain settlement.
Truffle is a framework that provides compiling, testing and systematic project management for developing Ethereum decentralized applications. As of now, Truffle provides a way to easily deal with bundling node.js modules of decentralized application using the webpack tool. However, due to the Truffle project structure, server-side node.js modules such as network communication modules are not usable in a direct way. In this paper, to address this issue, we propose a method to use server-side node.js modules through Ethereum smart contracts and event processing mechanism. In the proposed method, a separate node application is associated to the server-side module to execute the module in response to the request of the decentralized application. To this end, we introduce the notion of function gateway, a smart contract for connecting two applications with Ethereum's event-watch processing technique. Also, to use the function gateway contract in a robust way, we introduce a robust function gateway that includes the process of confirming whether or not the event-watch has occurred and the node.js module function has been executed. In addition, we present a decentralized application using node.js module for sending actual e-mails based on the function gateway.
By Elizabeth Enkin, University of Nebraska-Lincoln DOI: https://www.doi.org/10.69732/CKTL9913 As language teachers, we are keenly aware of the important benefits that Web 2.0, the collaborative web, has brought to language teaching. From social media to audio and visual tools, Web 2.0
The Agentic Service Ecosystem consists of heterogeneous autonomous agents (e.g., intelligent machines, humans, and human-machine hybrid systems) that interact through resource exchange and service co-creation. These agents, with distinct behaviors and motivations, exhibit autonomous perception, reasoning, and action capabilities, which increase system complexity and make traditional linear analysis methods inadequate. Swarm intelligence, characterized by decentralization, self-organization, emergence, and dynamic adaptability, offers a novel theoretical lens and methodology for understanding and optimizing such ecosystems. However, current research, owing to fragmented perspectives and cross-ecosystem differences, fails to comprehensively capture the complexity of swarm-intelligence emergence in agentic contexts. The lack of a unified methodology further limits the depth and systematic treatment of the research. This paper proposes a framework for analyzing the emergence of swarm intelligence in Agentic Service Ecosystems, with three steps: measurement, analysis, and optimization, to reveal the cyclical mechanisms and quantitative criteria that foster emergence. By reviewing existing technologies, the paper analyzes their strengths and limitations, identifies unresolved challenges, and shows how this framework provides both theoretical support and actionable methods for real-world applications.
Juan de Anda-Suárez, José Luis López-Ramírez, Daniel Jiménez-Mendoza, José Manuel Benitez-Quintero · 7 authors
Autonomous Vehicles (AV) have been extensively studied in both scientific and social contexts. Over the past two decades, there has been a significant rise in their real-world applications, including neural networks, Blockchain, Internet of Things, autonomous navigation, computer vision, automation processes, and various other areas. Hence, it is imperative to investigate the interplay between software, hardware, and individuals. To guarantee secure and unaffected interactions within autonomous vehicle devices and networks, decentralized Blockchain technology is proposed. This study presents the introduction of a framework we named “DEMU-NAV” for an ecosystem that includes Artificial Intelligence (AI), humans, and robots. The framework makes use of a decentralized Blockchain, Smart-Contract (SC), and Internet of things (IoT) network. Our framework was implemented using Ethereum and Python, enabling us to oversee Blockchain, Smart-Contracts, and the IoT for the facilitation of autonomous vehicle navigation.
Mr. R. Suresh M. E, Mr. Mohamed Shalik. S, Mr. Joshva Jagan. A, Mr. Vigneshwaran. V
This venture presents a secure and private Web3 communication framework utilizing the Dual Reversible Secret Image Sharing Mechanism (DR-SISM). By utilizing wallet addresses for confirmation, it streamlines the method whereas guaranteeing security. DR-SISM safely encodes images into numerous offers, available as it were by the expecting beneficiary. The framework moreover coordinating AI-driven command help, permitting clients to send messages and share images utilizing normal dialect commands, making the stage user-friendly. This paper looks at existing communication advances and illustrates how combining DR-SISM, wallet-based informing, and AI makes a secure, adaptable Web3 arrangement.
Low-Rank Adaptation (LoRA) is a widely adopted method for customizing large-scale language models. In distributed, untrusted training environments, an open source base model user may want to use LoRA weights created by an external contributor, leading to two requirements: (1) the base model user must confirm that the LoRA weights are effective when paired with the intended base model, and (2) the LoRA contributor must keep their proprietary weights private until compensation is assured. We present ZKLoRA, a zero-knowledge verification protocol that relies on succinct proofs and our novel Multi-Party Inference procedure to verify LoRA-base model compatibility without exposing LoRA weights. ZKLoRA produces deterministic correctness guarantees and validates each LoRA module in only 1-2 seconds on state-of-the-art large language models. This low-latency approach enables nearly real-time verification and promotes secure collaboration among geographically decentralized teams and contract-based training pipelines. The protocol ensures that the delivered LoRA module works as claimed, safeguarding the contributor's intellectual property while providing the base model user with verification of compatibility and lineage.
Open access
2 source records
Geophysical Methods and Applications
Robotics and Automated Systems
Target Tracking and Data Fusion in Sensor Networks
Tatami puzzles are pencil puzzles with an objective to partition a rectangular grid into rectangular regions such that no four regions share a corner point, as well as satisfying other constraints. In this paper, we develop a physical card-based protocol called Tatami printer that can help verify solutions of Tatami puzzles. We then use the Tatami printer to construct zero-knowledge proof protocols for two such puzzles: Tatamibari and Square Jam. These protocols enable a prover to show a verifier the existence of the puzzles' solutions without revealing them.
The IOTA Extended UTXO (IOTA EUTXO) model extends the UTXO blockchain to include features like smart contracts and non-fungible tokens. In this work, we show that the IOTA EUTXO model maintains the base correctness properties of the UTXO model while extending it with extra functionality. We achieve this by specifying and verifying the essential concepts of the base UTXO model and the extensions proposed by IOTA using the Isabelle proof assistant. The specification is designed to be modular and extensible, meaning it can be used as a foundation for further research of the UTXO and IOTA EUTXO models.
WebAssembly, or WASM for short, is a binary code format for a stack-based virtual machine, first published in 2018 and now becomes a main-steam technology for providing distributed serverless functions. Recently, the demand for privacy and trustless serverless functions has started to grow in cloud, edge, and grid computation, which poses a question for those serverless function providers: what feature they need to add to make WASM runtime more secure so that the application run on top it become trustless to their users. To address this, we leverage the technology ZKSNARK (zero-knowledge Succinct Non-interactive Argument of Knowledge), a powerful proof system that allows efficient verification of the evaluation problem of statements, to give WASM runtime the ability to provide trustless computation service. More precisely, we present ZAWA, a ZKSNARK backed virtual machine that emulates the execution of WASM bytecode and generates zero-knowledge-proofs for the emulation result. The proof generated by the ZAWA virtual machine can then be used to convince an entity, with no leakage of confidential information, that the result of the emulation enforces the semantic specification of WASM.
Cristina Regueiro, Ivan Gutierrez-Ag ́ Ag ́uero, Sergio Sergio, Santiago de Diego · 5 authors
This paper presents a protocol for Identity Management in Industrial IoT enabled devices, that is based on the principles of Self-Sovereign Identity. The Industry 4.0 transformation has led to the Industry sector digitalization and one of its major challenges is to uniquely identify the Industrial Internet of Things unattended devices. The digital identity management must allow increasing the security and control, and it has been evolving towards a model where the device acquires the responsibility for managing its own data through Self-Sovereign Identity. This paper studies why the Self-Sovereign Identity approach is suitable for the industrial IoT particularities, properly justifying its use. Furthermore, it analyzes the actors and roles involved in an industrial identity environment, and it addresses a protocol that defines how data should be exchanged over an Hyperledger Indy public permissioned Distributed Ledger Technology network as Sovrin. The paper applies the proposal to a reference use case, filling the gaps that are not currently specified in the literature for a successful Industrial Internet of Things identity management operation.
Panayiotis Christodoulou, Andreas S. Andreou, Z. Zinonos
Our epoch is continuously disrupted by the rapid technological advances in various scientific domains that aim to drive forward the Fourth Industrial Revolution. This disruption resulted in the introduction of fields that present advanced ways to train students as well as ways to secure the exchange of data and guarantee the integrity of those data. In this paper, a decentralized application (dApp), namely skillsChain, is introduced that utilizes Blockchain in educational robotics to securely track the development of students' skills so as to be transferable beyond the confines of the academic world. This work outlines a state-of-the-art architecture in which educational robotics can directly execute transactions on a public ledger when certain requirements are met without the need of educators. In addition, it allows students to safely exchange their skills' records with third parties. The proposed application was designed and deployed on a public distributed ledger and the final results present its efficacy.
Open access
2 source records
Blockchain Technology Applications and Security
IoT and Edge/Fog Computing
Neuroethics, Human Enhancement, Biomedical Innovations
Milan Groshev, Jorge Martín‐Pérez, Kiril Antevski, Antonio de la Oliva · 5 authors
Edge computing have received considerable attention as a promising candidate for the evolution of robotic systems. In this work, we propose COTORRA, an Edge driven robotic testbed that combines context information with robot sensor data to validate innovative concepts for robotic systems prior to being applied in a production environment. We have tested COTORRA in a controlled university environment as an easy applicable, serverless, and modular testbed on top of commodity network infrastructure. COTORRA supports pluggable robotic applications. To verify its feasibility and assess its performance, we ran a set of experiments that show how autonomous navigation applications can achieve target latencies bellow 15 ms, and perform an inter-domain Distributed Ledger Technology (DLT) federation within 19 seconds.
Kiril Antevski, Milan Groshev, Gabriele Baldoni, Carlos J. Bernardos
The concept of federation in 5G and NFV networks aims to provide orchestration of services across multiple administrative domains. Edge robotics, as a field of robotics, implements the robot control on the network edge by relying on low-latency and reliable access connectivity. In this paper, we propose a solution that enables Edge robotics service to expand its service footprint or access coverage over multiple administrative domains. We propose application of Distributed ledger technologies (DLTs) for the federation procedures to enable private, secure and trusty interactions between undisclosed administrative domains. The solution is applied on a real-case Edge robotics experimental scenario. The results show that it takes around 19 seconds to deploy & federate a Edge robotics service in an external/anonymous domain without any service down-time.
Intelligent space is an environmental robot system where many intelligent sensor nodes are distributed for supporting humans and mobile robots. This paper introduces a blockchain-based sensor network system for the intelligent space. Blockchain is a system for distributed ledgers of crypto currencies such as bitcoin. Recently, blockchain is considered to be effective for construction of distributed sensor network systems without central servers. In this paper, a prototype sensor system with blockchain based on Ethereum is introduced for intelligent space.
Open access
Innovation in Digital Healthcare Systems
Robotics and Automated Systems
Internet of Things and Social Network Interactions
Swarms of robots will revolutionize many industrial applications, from targeted material delivery to precision farming. However, several of the heterogeneous characteristics that make them ideal for certain future applications --- robot autonomy, decentralized control, collective emergent behavior, etc. --- hinder the evolution of the technology from academic institutions to real-world problems. Blockchain, an emerging technology originated in the Bitcoin field, demonstrates that by combining peer-to-peer networks with cryptographic algorithms a group of agents can reach an agreement on a particular state of affairs and record that agreement without the need for a controlling authority. The combination of blockchain with other distributed systems, such as robotic swarm systems, can provide the necessary capabilities to make robotic swarm operations more secure, autonomous, flexible and even profitable. This work explains how blockchain technology can provide innovative solutions to four emergent issues in the swarm robotics research field. New security, decision making, behavior differentiation and business models for swarm robotic systems are described by providing case scenarios and examples. Finally, limitations and possible future problems that arise from the combination of these two technologies are described.
Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Hæusler
This volume contains the Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003). The Workshop was held in Ouro Preto, Minas Gerais, Brazil from July 29 to August 1, 2003, in the Escola de Minas of the Universidade Federal de Ouro Preto ( UFOP ). WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic . The idea is to provide a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. Previous versions were held at: Recife (Pernambuco, Brazil) in 1994 and 1995; Salvador (Bahia, Brazil) in 1996; Fortaleza (Ceará, Brazil) in 1997; São Paulo (Brazil) in 1998; Itatiaia (Rio de Janeiro, Brazil) in 1999; Natal (Rio Grande do Norte) in 2000; Brasília (Distrito Federal, Brazil) in 2001; Rio de Janeiro (Brazil) in 2002. Scientific sponsorship comes from the Interest Group in Pure and Applied Logics ( IGPL ), the European Association for Logic, Language and Information ( FoLLI ), the Association for Symbolic Logic ( ASL ), European Association for Theoretical Computer Science ( EATCS ), the Sociedade Brasileira de Computação ( SBC ), and the Sociedade Brasileira de Lógica ( SBL ). Funding was kindly given by:(i) CNPq ( Conselho Nacional de Desenvolvimento Científico e Tecnológico , the scientific and technological development council of the Brazilian Ministério da Ciência e Tecnologia ) (grant 450709/2003-5);(ii) CAPES ( Fundação Coordenação de Apoio ao Aperfeiçoamento de Pessoal de Nível Superior , a Foundation for the Development of Higher-Education under the Brazilian Ministério da Educação e do Desporto ) (grant PAEP0565/03);(iii) FAPEMIG ( Fundação de Amparo à Pesquisa do Estado de Minas Gerais , the Minas Gerais state foundation for the support of scientific research);(iv) Escola de Minas da UFOP ( Universidade Federal de Ouro Preto ). Contributions were received in the form of short papers in all areas related to logic, language, information and computation, including:pure logical systems, proof theory, model theory, algebraic logic, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, proof complexity, foundations of cryptography (zero-knowledge proofs), descriptive complexity, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and artificial intelligence, automated deduction, foundations of logic programming, logic and computation, and logic engineering. Apart from the contributed papers (15), and the invited talks (5), the programme includes 5 tutorial lectures: 1. Algorithmic Randomness and Derandomization by Eric Allender (Department of Computer Science, Rutgers, the State University of New Jersey, USA) 2. Generalized Quantifiers by Lauri Hella (Department of Mathematics, Statistics and Philosophy, University of Tampere, Finland) 3. Implicit computational complexity by Jean-Baptiste Joinet (Preuves-Programmes-Systèmes, Université Paris 7, France) 4. Proof search foundations for logic programming by Dale Miller (INRIA/Futurs/Saclay, and Laboratoire d'Informatique, École Polytechnique, France) 5. Iterated theory change by Hans Rott (Institut für Philosophie, Universität Regensburg, Germany) All papers in the volume were reviewed by the program committee consisting of Mauricio Ayala-Rinóon ( Departamento de Matemática, Universidade de Brasília, Brazil ) Argimiro Arratia ( Depto. Matematicas, Universidad Simon Bolivar, Venezuela ) Alessandra Carbone ( Institut des Hautes Études Scientifiques, and Université de Paris XII, France ) Marcelo Coniglio ( Centro de Lógica e Epistemologia, Universidade Estadual de Campinas, Brazil ) Gilles Dowek ( INRIA, France ) Arnaud Fleury ( Facoltà di Scienze, Università di Verona, Italy ) Dexter Kozen ( Cornell University, USA ) Maarten Marx ( ILLC, Faculty of Science, Universiteit Amsterdam, The Netherlands ) Anto˚nio Carlos da Rocha Costa ( Escola de Informática, Universidade Católica de Pelotas, Brazil ) Dieter Spreen ( Fachbereich Mathematik, Theoretische Informatik, Universität Siegen, Germany ) Luiz Carlos Pereira ( Departamento de Filosofia, PUC-Rio and UFRJ, Brazil ) Jouko Väänänen ( Department of Mathematics, University of Helsinki, Finland ) Renata Wassermann ( Departamento de Cie˚ncia da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil ) The organising committee consisted of Lucília Figueiredo ( Departamento de Computação, Universidade Federal de Ouro Preto, Brazil ) Fred Ulisses Maranhão ( Centro de Informática, Universidade Federal de Pernambuco, Brazil ) Anjolina Grisi de Oliveira ( Center of Informatics, Universidade Federal de Pernambuco, Brazil ) Elaine Pimentel ( Departamento de Matemática, Universidade Federal de Minas Gerais, Brazil ) (Co-Chair) Ruy de Queiroz ( Center of Informatics, Universidade Federal de Pernambuco, Brazil ) (Co-Chair) Maria Angela Weiss ( Departamento de Matemática, Universidade de São Paulo, Brazil ) The volume will be published as volume 84 in the series Electronic Notes in Theoretical Computer Science ( ENTCS ). This series is published electronically through the facilities of Elsevier B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcs A printed version of the current volume has been distributed to the participants at the workshop in Ouro Preto. We are very grateful to the following persons, whose help has been crucial for the success of WoLLIC'2003: Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistance with the use of the ENTCS style files; Thanks are also due to the Department of Mathematics of Universidade Federal de Minas Gerais and the Department of Computing of the Universidade Federal de Ouro Preto, which has provided the logistic support to the organising committee. August 2, 2003 Ruy de Queiroz, Elaine Pimentel, Lucilia Figueiredo