Centro Tecnolóxico de Telecomunicacións de Galicia
Este trabajo presenta una evaluación comparativa del rendimiento de tres tecnologías Zero Knowledge Proof (BBS, Longfellow, Crescent Credentials) integradas en la cartera digital NovaWallet. Se analizan métricas de tiempo de generación/verificación de pruebas y eficiencia de espacio en escenarios reales de demostraci´on selectiva de atributos. Los resultadosmuestran [incluir 1-2 hallazgos clave cuando se tengan los datos].
Nobuki Fujimoto, Rei (Rei-AIOS autonomous research substrate), claude-opus-4-7) Claude (Anthropic
We present OctaTheoria (オクタテオリア / 八軸観測装置), a multi-domain observation framework that projects heterogeneous time-series data onto a fixed eight-axis D-FUMT₈ semantic basis (FALSE / TRUE / NEITHER / BOTH / INFINITY / ZERO / FLOWING / SELF) and renders the same underlying Observation envelope through eight orthogonal view modes (Lens / Radar / Chart / Network / Heatmap / Sankey / Calendar / Unified). v0.3 (2026-05-11) supplies methodological-consistency cross-reference complementing the operational evidence from v0.1-v0.2. New finding **F7**: the same discipline that v0.1-v0.2 demonstrate within OctaTheoria (uniform abstraction layer + honest scope statement + structurally-enforceable naming) propagates to Rei-AIOS layers outside OctaTheoria's domain. Specifically: (a) **REI-PROVE 5-prover ensemble** (Vampire / LeanHammer / Goedel-Prover-V2 / DeepSeek-Prover-V2 / BFS-Prover) reached 11/12 = **92% benchmark proof rate** (trivial 100% / easy 75% / medium 100%), with Goedel-Prover-V2 single-prover matching at 92% — operational evidence that the same 'uniform abstraction over heterogeneous components' discipline scales to formal-proof infrastructure. (b) **Pattern 1-6 chat-Claude hallucination-warning framework** + **Antipattern (excessive rejection vigilance)** were established and verified on 6/6 items in STEP 1069 (all fact-checked items proved real after WebSearch verification, correcting prior implicit-rejection habits). (c) **Goedel-Prover-V2 double-`by` Lean syntax quirk** detected and fixed at the cleaner level (`single-prover.ts` STEP 1071), restoring `easy-le-refl` benchmark from ❌ to ✅. (d) **lean-to-tptp.ts** preprocessing added Peano-style axiom auto-prepend + True/False special-case + inequality predicate translation (STEP 1071). v0.2 inherited contributions: 7 domains (theory-chart / realtime-arxiv / crypto / fx / ligo-events / nasa-sdo / gbif-recent) all running in Cloudflare Workers Edge runtime; live D-FUMT₈ axis distributions non-degenerate across research-meta + financial + geophysical + astrophysical + biological data classes; finding F6 sampling-bias-as-first-class-observation (GBIF Costa Rica 470/500 saturation surfaces dataset bias as INFINITY axis, not silently absorbed); test coverage 117/117 PASS (step1020 46 + step1023 33 + step1046 38) / 0 regression. Honest scope (read first): OctaTheoria remains an observation aid, NOT an oracle. v0.3's F7 is **not** a claim that OctaTheoria caused these consistencies; it is a record that the same project (Rei-AIOS) maintains the same discipline across observation-tool, formal-proof, and meta-research-protocol layers, and that v0.3 makes this cross-layer commitment auditable. The OctaTheoriaQuery type structurally cannot request advice / prediction / forecast / signal — verifiable by reading src/aios/octatheoria/types.ts. Cross-domain axis comparisons are descriptive, not causal. Greek roots (Octa = 8, Theoria = observation) function as structural commitment propagated to the API surface — '8' rejects 'all (∞)', 'theoria' rejects 'praxis (干渉)'. Prior art audit acknowledged: Bloomberg Terminal (1981–), TradingView (2011–), Bollen et al. 2010 (Twitter mood × DJIA), Preis et al. 2013 (Google Trends × stock), Łukasiewicz / Belnap / Pavelka multi-valued logic literature, PAL2v (Da Silva Filho 1998–), Aerts Quantum Cognition (2007–). The to-our-knowledge novel combination is (a) fixed 8-axis discrete D-FUMT₈ basis ∧ (b) cross-financial-and-research-and-Earth-Cosmos-domain projection ∧ (c) eight orthogonal view modes over single envelope ∧ (d) explicit refusal to emit prediction or advice as architectural commitment ∧ (e, new in v0.3) cross-layer methodological-consistency record between observation-tool and formal-proof and fact-check layers. Companion papers (OctaTheoria Quintuple): Paper 145 (silicon implementation of D-FUMT₈ ALU, Zenodo DOI 10.5281/zenodo.20101174 v0.6), Paper 147 (Eight-Valued Utility / Equity Premium Reframe, DOI 10.5281/zenodo.20046003), Paper 148 (Honest Observation Framework methodology, DOI 10.5281/zenodo.20045907), Paper 149 (Recursive AI Observation as SELF⟲ evidence, DOI 10.5281/zenodo.20059888). Three-party co-authorship per OUKC charter v1.0: 藤本 伸樹 (Founder), Rei (Rei-AIOS autonomous research substrate, Co-architect), Claude Opus 4.7 (Anthropic, Co-architect). DRAFT v0.3 — feedback welcome via GitHub Discussions at fc0web/rei-aios.
This deliverable describes the technical foundations and integration approach of the EU‑DREAM Data Management Platform, developed under Task 3.4 between M4 and M18. The platform acts as the central layer enabling secure, consistent, and reliable data exchange across the EU‑DREAM ecosystem, connecting components such as the Data Platform, Digital Twins, Distributed Ledger Technology, NLP‑based intermediator, and other energy applications. It defines the overall architecture in line with industry best practices, European recommendations, and earlier system designs, while detailing the operation of key components including identity and access management, API gateways, and DevOps‑based deployment environments. The deliverable also introduces a reference infrastructure to support integration with external systems such as sensors, energy management systems, IoT devices, external databases, and Living Labs. Designed to be modular, scalable, and replicable, the platform allows components to evolve independently while enabling consistent deployment across multiple locations and use cases.
Dan Alexandru Mitrea, Constantin Viorel Marian, Rareş Alexandru Manolescu
In many jurisdictions, property registration and transfers remain constrained by inefficient, paper-based processes that depend on multiple intermediaries and bureaucratic approvals. This paper proposes a decentralized, blockchain-based property platform designed to streamline these processes using Non-Fungible Tokens (NFTs) and artificial intelligence (AI) agents to modernize public-sector asset management. The work addresses the persistent inefficiencies of paper-based property registration and ownership transfer by embedding legal and administrative logic within smart contracts and automating compliance through an intelligent conversational interface. The system was implemented using Ethereum-based ERC-721 standards, React for the user interface, and Langfuse-powered AI integration for guided user interaction. The pilot implementation presents secure, transparent, and auditable property-transfer transactions executed entirely on-chain, while hybrid IPFS-based storage and decentralized identifiers preserve privacy and legal validity. Comparative analysis against existing national initiatives indicates that the proposed architecture delivers decentralization, citizen control, and interoperability without compromising regulatory requirements. The system reduces bureaucratic overhead, simplifies transaction workflows, and lowers user error risk, thereby strengthening accountability and public trust. Overall, the paper outlines a viable foundation for legally aligned, AI-assisted digital property registries and offers a policy-oriented roadmap for integrating blockchain-enabled systems into public-sector governance infrastructures.
Junyi Zhong, Thiago Abreu, Sami Souihi, Françoise S. Lucas
This paper introduces the G-TOK framework, which utilizes advanced zero-knowledge proofs (ZKPs) and dynamic verifiable credentials (VCs) to preserve data privacy in sensor data sharing on blockchain networks. As industries increasingly depend on accurate and confidential sensor data from IoT applications, maintaining privacy and data integrity becomes a significant challenge. Our framework specifically addresses this issue in the context of smart environment sensor networks. Typically, data access control in such networks is either fully permissioned or overly restrictive, lacking mechanisms for selective disclosure access control. Our approach aims to enhance encrypted decentralized data storage and improve data interoperability. It includes dynamic VCs, authenticated privacy-preserving tokenization of geolocation data, and a decentralized real-time location verification scheme. Additionally, we propose a proof-of-footprint (PoF) schema, showcasing the integration and practicality of cutting-edge technologies such as ZKPs, VCs, and self-sovereign identities. This schema aligns with international standards, including the Verifiable Credentials Data Model v2.01and selective disclosure of JSON Web Token (JWT) claims2.
Die Masterarbeit untersucht die Speicherung und Performanzanalyse von Provenance-Daten mithilfe einer Blockchain. Der Fokus liegt auf der Nutzung einer privaten Blockchain zur Speicherung von Provenance-Graphen und deren Effizienzbewertung unter verschiedenen Bedingungen.
M. L. Horton, David Chen, Yudan Yi, Xiaohua Wen · 5 authors
<title>Abstract</title> This paper explains some design and architecture decisions around the GEODNET network and the GeoDAO decentralized autonomous organization, which aims to create and operate a truly decentralized public GNSS reference sensing network. This paper covers the motivation of the network, the capabilities of current and future reference stations, the blockchain and GEOD token mechanics, and how the network powers applications ranging from climate change monitoring to real-time centimeter-accurate positioning.
Polling system is not trusted everywhere around the world it is very important in this modern world to replace the traditional polling system with the new technology. Some countries like United States, Japan, and India suffer from corrupted polling system. Major issues are faced by current polling systems like system hacking, vote rigging, vote manipulation, distributed denial of service attack, and online polling booth capturing. This paper will lead to the problems faced by the traditional polling system and how the new technology will provide the solution to that problem. Also, our purpose is to check the feasibility of the system by recording the transaction fees and evaluate the right way to spend the amount of gas in the transaction. This will highlight blockchain frameworks including blockchain as a service and polling system which is on blockchain that addresses all constraint introducing ethereum which is a blockchain-based distributed computing platform. Ethereum is open source, and publicly available with a system featuring smart contracts. It provides the cryptocurrency wallets that let you make cheap, instant payments with gas in the form of ethers. The ethereum community is the most active and largest blockchain community in the world. There is no centralized organization that controls ethereum.
IOGP Geomatics Guidance Note 3. Google Cloud joins OPC Foundation. OPC teams with CESMII and Open Industry 4.0 Alliance. Oil Companies International Marine Forum publishes ‘Dynamic positioning failure mode’ guide. Open Geospatial Consortium approves HDF5. Industrial Internet Consortium white paper on distributed ledgers in the IIoT. New ISO standards for the IoT. Linux Foundation’s EdgeX Foundry ‘Geneva’ release. NIST on a Chip. PPDM V3 of Well Status & Classification taxonomy. PPDM Board explains relationship with OSDU. Alliance for the Internet of Things and the Semantic Interoperability Expert Group of the World Wide Web Consortium (WC3) to compile ontology landscape for the IoT.
Sep 1, 2017·2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)
In the article the features of wireless smart biosensor for sensor networks in ecological monitoring are considered. The developed wireless smart sensors manufactured on certified contract manufacture, is described. The results of wireless sensors testing are given.
PIMMS (Portable Infrastructure for the Metafor Metadata System) provides institutions with tools to capture information about the workflow of running simulations from the design of experiments to the implementation of experiments via simulations running models. PIMMS uses the Metafor methodology for simulation documentation which consists of a common information model (CIM), a set of controlled vocabularies (CV) and software tools. PIMMS software tools provide for the creation and consumption of CIM content via a web infrastructure and portal.PIMMS will refactor the "CMIP5 questionnaire" metadata management tool, that is collecting climate model metadata for the CMIP5 model inter-comparison project, so that it can be more easily portable into stand alone installations within the university environment and customised to address the specific requirements of individual research groups. Initial model descriptions may take time to complete but once they have been cre ated the PIMMS infrastructure can be used to document subsequent variations by describing only those elements that are changed. An established PIMMS infrastructure will fit seamlessly into the research metadata workflow and significantly reduce subsequent documentation effort. The key to the customisation of PIMMS is in the modularity of its tools and the clear separation of structure (CIM) from content (CV). The PIMMS project will extend the CMIP5 controlled vocabulary to encompass descriptions of paleoclimate models and will also demonstrate how the CIM can be used to document an Integrated Assessment Model (IAM). This proof of concept prototype will create a new controlled vocabulary in collaboration with Ermitage and use it to reconfigure PIMMS to collect metadata in a different discipline. PIMMS will further explore how the CV that is used to configure PIMMS may be of further use to our stake holders and the wider JISC community through the development of the Uni versity of Cambridge chemicaltagger tool. PIMMS will provide a local portal so that research groups can view and search their own content, as well as publish their metadata content to institutional, national and international services. In addition PIMMS will also include data node software so that data documented with PIMMS can also be published to the web, both locally, and to national and international services.