Proof-of-work system
A tamper-proof audit and control system for the doctor in the loop
... this work, since the architecture proposed in this work allows the application of various kinds of additional countermea- sures in order to protect patient ...their work [10], the authors propose a ...
11
A new proof-of-work mechanism for bitcoin
... Decentralization is the presiding feature of distributed ledger systems like Bitcoin. This feature, which contracts with other modern systems, are overseen by intermediaries. For example, the Society for Worldwide ...
8
Comparison of proof-of-work based blockchains against federated consensus and proof-of-validation based blockchains
... The algorithm was initially based on DLS protocol [29] though there have been attempts to modify it. Every participating node keeps a complete copy of se- quence of transactions in blocks included in blockchain. Each ...
18
A Load Service System with Reputation Proof in P2P Networks
... In this paper, I construct a system structure for load services with reputation checking in wireless ad-hoc net- work systems using the peer-to-peer concept [8] [9]. In ad-hoc network systems, hosts move ...
10
Index Terms: Blockchain, Bitcoin Mining, Proof of Work, Proof of Stake, Smart Contracts, Distributed
... Bitcoin stands out despite the many espoused criticisms its receives and the security attribution and the socio-economic factors that supress the evolution of Bitcoin. Apparently, Bitcoin, despite the negative bindings ...
9
MoL 2012 07: Proof and Prejudice: Why Formalising doesn't make you a Formalist
... Λ). Proof theorists have a number of other syntactic features that allow us to identify equivalence classes of formal ...formal proof with its normal form is in many cases beyond what we would want to call ...
71
Extracting verified decision procedures : DPLL and resolution
... Coq system has been used in several approaches to formalize automatic theorem ...Significant work has also been performed in Isabelle with several decision procedures verified and integrated into the ...a ...
18
Proof complexity modulo the Polynomial Hierarchy: understanding alternation as a source of hardness
... this work was to gain further insight into Q-resolution; here, we focus on a slight extension, QU-resolution [18], where from existing clauses one can derive new clauses in two ways: by a rule for eliminating ...
22
Fusion of Iris and Fingerprint Biometric Identifier for ATM Services: An Investigative Study
... recognizable proof cards and PINs (indi- vidual distinguishing proof numbers), experience the ill effects of a few confine- ...biometric system is intertwined with the ATM for indi- vidual validation ...
13
Proof-of-Work as Anonymous Micropayment: Rewarding a Tor Relay
... can accumulate clients’ tickets and thus receive better performance by having more tickets. The proposed method achieves desirable anonymity properties, however it still uses a central bank for generating coins. Second, ...
19
Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge
... of work (starting with the work of Groth, Ostrovsky, and Sahai [GOS06a, GOS06b]) introduced increasingly more efficient NIZK proof systems in the standard ...of work culminated with the ...
34
DIZK: A Distributed Zero Knowledge Proof System
... our system on this application because the system implemented in [NT16] relies on monolithic zkSNARK implementations and is thus limited to small photo ...
30
Proof of Activity: Extending Bitcoins Proof of Work via Proof of Stake
... It is likely that PoW mining will become significantly less lucrative when the block reward subsidy becomes negligible, and the reward consists (almost) entirely of transaction fees. The rationale behind this stems from ...
19
Non-Interactive Zero-Knowledge Proofs of Non-Membership
... our proof system, we are going to follow a generic approach by combining two different proof systems (in our following instantiations the first proof will be a SPHF, while the second one will ...
18
MoL 2016 14: Minimal and Subminimal Logic of Negation
... Since Brouwer’s works [9, 8], the negation of a statement in a logical system is conceived as encoding the fact that from any proof of such a statement, a proof of a contradiction can be obtained. ...
138
Proof-of-Work Sidechains
... between proof- of-work blockchains without trusted ...a proof-of- work blockchain that has been interlinked, potentially with a velvet fork; on the destination side, a blockchain with any ...
20
Towards Non-Interactive Zero-Knowledge for NP from LWE
... This issue turns out to be a key one which we do not know how to handle directly. Instead, we shall bypass it by introducing and considering a generalization of OCS in which the (untrusted) prover is allowed to assist ...
34
Using Network Security Management to solve Boolean Satisfiability Problem
... Past work has provided ways to identify intricate attack paths due to misconfiguration and vulnerabilities in an enterprise system, but little has been done to address how to correct the security problems ...
6
Nondestructive Testing of High Reinforced Concrete
... Distribution of temperature in chimney wall in case of insulation discontinuity. 206[r] ...
14
Guideline-enabled data driven clinical knowledge
... Clinical Knowledge Model: A CKM is a formal decision tree created from CPGs after a rigorous 223.. inspection process by a team of physicians.[r] ...
43