Mathematics is not universal.Traditional (normal) mathematics accepts both deductive and empirical proofs like science.Colonial education replaced it with formal mathematics, the unique feature of which is not the use of reasoning but exclusion of the empirical.The coloniser never critically compared normal and formal mathematics, and tries to block such a comparison today.In Western dogma (of the church theology of reason) deduction is infallible.In fact, deduction is fallible.(1) An invalid deductive proof may be mistaken as valid.Doubts about validity can only be settled inductively.In practice, doubts are settled by invoking authority.Hence, deductive proofs are always more fallible than empirical proofs.(2) The postulates of formal math cannot be empirically checked; they are metaphysics (a metaphysics of infinity is needed even for the formal math of 1+1=2).Thus, far from being eternal truths, formal mathematical theorems may not even be approximately valid knowledge.(3) Formal math dogmatically assumes two-valued logic (on the superstition that logic binds God).But logic is neither culturally universal (e.g.Buddhist logic) nor empirically certain (quantum logic).Therefore, the theorems of formal math (even if valid) are not even truths relative to postulates.Hence, colonial/formal math is inferior and should be rejected.This does not affect the practical value of math -what 'works'which all comes from normal math which we should, accordingly, teach.I describe two actual decolonised math courses being taught: decolonised geometry in school, and decolonised calculus in the university.Decolonised (string) geometry that is indigenous to Africa and India, is superior to the geometry currently taught in terms of conceptual clarity (points, angle, distance), ease of learning, and practical applications.Decolonised calculus teaches calculus as normal math, the way it originated in India as a numerical technique to solve differential equations, together with non-Archimedean arithmetic (instead of formal 'real' numbers) and zeroism (instead of limits) used to sum infinite series.Europeans stole calculus from India, and falsely attributed it to Newton and Leibniz, who failed to understand how to sum infinite series due to the Western superstition (since Plato) that mathematics is eternal truth, and hence exact.Eventually, they introduced a metaphysics of infinity allied to church dogmas of eternityset theory, formal real numbers, and limitsas taught in university today.This metaphysics is irrelevant for any practical application of calculus, such as sending a rocket to the moon, but makes calculus very difficult.Decolonised calculus is easy, requires almost no background, and results in better science.It enables students to solve harder problems not covered in usual calculus courses.However, it excludes the ability to slip politically convenient dogmas into science through the metaphysics of formal math, and is, hence, resisted by the coloniser today.
Innovations such as the Cloud, Internet of Things (IoT) and data analytics have already dramatically altered the customer experience in many, if not all, industries. Blockchain, as another emerging technology, is expected to be the next generation infrastructure to established trusted multiparty collaborations. In this paper, we investigated the convergence of aforementioned technologies, by presenting a prototype of fine-grained transportation insurance. Insurance premium were assessed based on vehicles usage and driver's behavior, which were deduced from streaming IoT data collected from mobile sensors. This incentive mechanism promotes fairness among drivers and encourages safer driving style. The prototype takes advantage of both private blockchain (e.g., high transaction rate in Hyperledger) and public blockchain (e.g., inbuilt cryptocurrency). Besides system architecture and implementation details, preliminary performance evaluations are presented and discussed.
The use of Blockchain Technology in the Internet of Things will let applications in numerous domains such as Smart home, Industrial Automation, Transportation etc thrive by easily monitoring, tracking and securing data. IoT solutions using blockchain helps in transferring and verifying transactions in a secure manner. However, there are many blockchain platforms available that vary in many ways such as their purpose, ease of participation, governance etc. To determine which blockchain implementation should be leveraged for applying to IoTs, there exists a need for comparing different blockchain platforms. One important aspect we can consider for comparison is the energy consumption of blockchains and analyzing energy-performance trade-offs. Towards this goal, we profile the impact of workloads and further quantify the power consumed by different operations performed on the Ethereum platform and Hyperledger Fabric platform. In contrast to existing approaches that are focused on performance, we characterize performance and energy consumption for real workloads and analyze energy-performance trade-offs. The insights from the study can be used in developing secure protocols for IoTs using blockchains.
The synergy between artificial intelligence and blockchain is increasing in the computing environment. To realize this blockchain technology making its way into applications such as healthcare, financial services, Internet of Things and much more., that use artificial intelligence making it more defendable to attacks. The current blockchain technology uses different encryption algorithms such as SHA256, MD5 etc. The blockchain attacks such as collision attack, primage attack and attacks on wallet motivated us to experiment on partial homomorphic encryption to enhance the strength of blockchain technology. This article considers i) Goldwasser- Micali and ii) Paillier encryption schemes for the comparative evaluation study with a focus on data privacy techniques. We believed and proved that the above two encryption schemes that were considered have less processing time and provide more strength to the possible attacks. While we present our preliminary results in this study, we discuss the pros and cons of the Goldwasser-Micali, Paillier and non-homomorphic encryption schemes that are expected to add value to blockchain technology to be used in Artificial Intelligence (AI) applications.
The great convenience of electronic voting can improve the attendance and thus promote the process of democratization. However, the appearance of quantum computer severely threatens the security of those traditional electronic voting schemes. The efficiency of the current post-quantum electronic voting scheme is relatively low, some of them are unable to verify the validity of the ballots which results in a stronger security assumption. In this paper, we propose an efficient LWE-based verifiable electronic voting system whose security is based on the LWE assumption. To protect the user privacy, we tally homomorphically and verify the validity of ballot ciphertext through some interactions between two verification servers. In addition, a zero-knowledge proof can be utilized to verify the correctness of tally results. Finally, we analyze the properties and implement our system, the experimental results show the effectiveness of our system.
We describe an agent-based conceptual model of a Blockchain system. Blockchain technology enables distributed, encrypted and secure logging of digital transactions in an add-only ledger record. We model and simulate an expanding Blockchain network, describing the participating agents, the transactions, and the verified add-only public ledger record achieving decentralized consensus. All of the essential details of the functioning of the Blockchain including the behaviors and decisions made by agents deciding to join as well as participate in the market are detailed in the prototype model. The aim of this paper is to illustrate the essential elements and functioning of a Blockchain system, implement a generalized simulation and a measure of Blockchain efficiency from an agent choice and energy cost perspective. Our preliminary results indicate that mining choice (transaction block to verify) coupled with proof of work incentives are critical for energy efficiency.
Blockchain is one of the technology that has created a disruptive change in many industries. Currently, Blockchain is being used in several places and there are many more applications of Blockchain yet to be discovered and implemented. Blockchain is characterized by its decentralized nature, integrity of the data stored in the chain and its openness. Due to these characteristics, another place where Blockchain can be used is to release government funds for a project. Usually when a project is allocated funds, there is no knowledge as to how these funds are being used and a large part of it is never shown in records due to corruption. To solve this problem, a system has been proposed using Blockchain to provide the transparency. This paper also gives a description about a prototype which was developed using Hyperledger Composer. It then discusses the future development of this prototype and finally, concludes with the applicability of Blockchain.
Blockchain is a deliberately spreading set of data called as Blocks, which are associated and assured by the use of Cryptography. Each Block of this Blockchain consists of cryptographic hash of the preceding block, a timestamp and transaction information. Modification of Data by fraudsters is highly challenging in Blockchain by its design. It is an accessible shared register that can store activities between two internet users securely. Such a technology is an easy way for one person using internet to send fragment of digital property to other person who is also using internet, such that transfer of data or communication will be very secure and none of the sensitive details would be leaked. With the usage of Blockchain technology, several people can write the data into the Record and also sector of users can manage how the Record should be added with new entries. This technology is now being employed in a variety of applications like digital currency, supply chain management, medical information systems etc. In this paper, we have studied the technology behind Blockchain and the application of the same in several use cases. We have also implemented fund raise use case using Laravel PHP Framework to illustrate the steps of using Blockchain to assure secure transactions.
Blockchain is a distributed ledger system composed of a P2P network and is used for a wide range of applications, such as international remittance, inter-individual transactions, and asset conservation. In Blockchain systems, tamper resistance is enhanced by the property of transaction that cannot be changed or deleted by everyone including the creator of the transaction. However, this property also becomes a problem that unintended transaction created by miss operation or secret key theft cannot be corrected later. Due to this problem, once an illegal transaction such as theft occurs, the damage will expand. To suppress the damage, we need countermeasures, such as detecting illegal transaction at high speed and correcting the transaction before approval. However, abnormality detection in the Blockchain at high speed is computationally heavy, because we need to repeat the detection process using various feature quantities and the feature extractions become overhead. In this paper, to accelerate abnormality detection, we propose to cache transaction information necessary for extracting feature in GPU device memory and perform both feature extraction and abnormality detection in the GPU. We employ abnormality detection using K-means algorithm based on the conditional features. When the number of users is one million and the number of transactions is 100 millions, our proposed method achieves 37.1 times faster than CPU processing method and 16.1 times faster than GPU processing method that does not perform feature extraction on the GPU.
RODOLFO ANGELO MAGTANGGOL III DE GUZMAN, Mike K. P. So
This paper proposes the use of threshold heteroskedastic models which integrate threshold nonlinearity [Tong, H (1978). On a Threshold Model, pp. 575â586. Netherlands: Sijthoff & Noordhoff; Tong, H and KS Lim (1980). Threshold autoregression, limit cycles and cyclical data. Journal of the Royal Statistical Society. Series B (Methodological), 3, 245â292.] and GARCH-type conditional variance for modeling Bitcoin returns to provide an understanding on the huge volatility that Bitcoin has been famous for. Specifically, the model attempts to identify different regimes throughout the history of Bitcoin using the different available Bitcoin network characteristics, such as cost per transaction, number of transactions per block, number of active addresses and number of transactions. Estimation and diagnostic checks are performed using Markov chain Monte Carlo methods. In the empirical analysis, we show that our model is able to identify periods of crashes as one of these regimes, which is also a period of declining returns and declining number of active users. We also find that the number of users and the number of transactions determine the magnitude or persistence of a crash period.
Data breaches are an increasingly common part of consumersâ lives. No institution is immune to the possibility of an attack. Each breach inevitably risks the release of consumersâ personally identifiable information and the strong possibility of identity theft. Unfortunately, current solutions for handling these incidents are woefully inadequate. Private litigation like consumer class actions and shareholder lawsuits each face substantive legal and procedural barriers. States have their own data security and breach notification laws, but there is currently no unifying piece of legislation or strong enforcement mechanism. This Note argues that proactive solutions are required. First, a national data security lawâsetting minimum data security standards, regulating the use and storage of personal information, and expanding the enforcement role of the Federal Trade Commissionâis imperative to protect consumersâ data. Second, a proactive solution requires reconsidering how to minimize the problem by going to its source: the collection of personally identifiable information in the first place. This Note suggests regulating companiesâ collection of Social Security numbers, and, eventually, using a system based on distributed ledger technology to replace the ubiquity of Social Security numbers.
Data manipulation is often named as a serious threat to data integrity. Data can be tampered with, and malicious actors could use this to their advantage. Data users in various application domains want to be ensured that the data they are consuming are accurate and have not been tampered with. To validate the integrity of these data, we describe a blockchain-based hash validation method. The method assumes that the actual data is stored separately from the blockchain, and then allows a data identifier and a hash of these data to be submitted to the blockchain. The actual data can be validated against the hash on the blockchain at any time. Several use cases are described for blockchain-based hash validation, and to validate the method it is implemented inside an application audit trail to validate the audit trail data. This implementation shows that blockchain-based hash validation is able to detect malicious and accidental changes that were made to the data.
Shanto Roy, M. Ashaduzzaman, Mehedi Hassan, Arnab Rahman Chowdhury
The paper presents an in detailed case study of integrating BlockChain (BC) in IoT ecosystems in order to achieve security and privacy. Since the use in cryptocurrency, BlockChain has gained tremendous attraction due to the versatile application prospects it raises. As internet of things (IoT) is emerging towards the smart city requirements, device or data security seems to be a major concern. Therefore, BlockChain based decentralized and distributed system can meet the privacy preserving management in IoT ecosystems. In this paper, we discuss the necessity of utilizing BlockChain for IoT security, privacy, management. We present a literature overview of current progresses and security enhancement in sensor networks using BlockChain; their scope, prospects and limitations as well. Finally, we suggest some future directions to indicate further areas of improvement.
The security issue is one of the greatest challenges in vehicular ad hoc networks (VANETs) attracting a great deal of attention. Malicious onboard units (OBUs) can attack other OBUs with various manners to obtain illegal gains, such as jamming, eavesdropping spoofing and so on. To reduce the potential attackers in the network, we propose an indirect reciprocity security framework with a scalar reputation assigned to each OBU to evaluate their dangerous level to the VANET. A blockchain technique that uses consensus mechanism and encryption algorithms to protect information from being tampered is applied for the transmitter to record the behaviors of other OBUs. We also propose a reinforcement learning based action selection strategy for an OBU in the VANET to choose a reliable relay OBU or determine whether to follow the request of a source OBU or not. A hotbooting technique is applied for the OBUs with prior knowledge to accelerate the learning speed. Simulation results show that the proposed action selection strategy can efficiently increase the packet delivery ratio, the reputation and the utility of the each OBU.
Min Kim, Ah Ra Lee, Hwi Jun Kwon, Ji Woong Kim · 5 authors
Hospitals provide a considerable amount of questionnaires to patients, and their result data can be one of the significant measures to check a patient's current health. In many cases, however, such data utilization in another kind of healthcare services is unsatisfactory because patients cannot manage the data by themselves. We propose a blockchain-based medical questionnaire management system for data sharing. This system guarantees the integrity of questionnaire result data using characteristics of the blockchain. Furthermore, data in this system can be in interoperable with other systems because it is generated based on the international standard Health Level 7 Fast Healthcare Interoperability Resources. This paper explores how to use medical questionnaire result data for the lifelong healthcare of patient and better quality of health care services and enhance the security of personal medical records.
Blockchain technology has been seeing widespread interest as a means to ensure the integrity, confidentiality and availability of data in a trustless environment. They are designed to protect data from both internal and external cyberattacks by utilizing the aggregated power of the network to resist malicious efforts. In this article, we will create our own decentralized messaging application utilizing the Ethereum Whisper protocol. Our application will be able to send encrypted messages both securely and anonymously. We will utilize the Ethereum platform to deploy our blockchain network. This application would be resistant to most suppression tactics due to its distributed nature and adaptability of its communication protocol.
Blockchain Technology Applications and Security
Advanced Steganography and Watermarking Techniques
IoT networks are designed to connect as many devices as possible. Since any device can be connected to an IoT network, it faces an authentication issue, which may be exploited by attackers to break into the IoT network. A solution discussed in this paper is to make use of blockchain technology to authenticate IoT devices before it joins an IoT network. Based on the characteristics of blockchain, it can be used to create the digital identification of IoT devices and authenticate them. Authenticated Devices Configuration Protocol (ADCP) is proposed to achieve this authentication process. All results of the solution have been demonstrated by a fully working implementation, and do not solely rely on theoretical considerations or simulations.
Blockchain is an emerging decentralized infrastructure and distributed computing paradigm. Blockchain has been widely used in many industries including finance, energy, and cloud computing. Consortium blockchain is known as the permissioned blockchain, in which each user needs to be authorized. Distributed consensus is the core issue of consortium blockchain technology. In order to solve the disadvantages of using Proof of Work (POW) algorithm in consortium blockchain, such as computing resources waste, long block confirmation delay and low throughput, we designed and implemented a high performance blockchain consensus algorithm based on message passing technology called HPBC. HPBC algorithm can work well in asynchronous networks with Byzantine nodes. Results from theoretical analysis and performance evaluation show that HPBC algorithm provides safe and reliable distributed consensus services in consortium blockchain with low overhead. Finally, we summarized HPBC algorithm and briefly explore its further research directions.