Can you devise a protocol where proof size

Assignment Help Computer Engineering
Reference no: EM131446962

Bitcoin and Cryptocurrency Technologies

Authenticated Data Structures. You are designing SecureBox, an authenticated online file storage system. For simplicity, there is only a single folder. Users must be able to add, edit, delete, and retrieve files, and to list the folder contents. When a user retrieves a file, SecureBox must provide a proof that the file hasn't been tampered with since its last update. If a file with the given name doesn't exist, the server must report that - again with a proof.

We want to minimize the size of these proofs, the time complexity of verifying them, and the size of the digest that the user must store between operations. (Naturally, to be able to verify proofs, users must at all times store some nonzero amount of state derived from the folder contents. Other than this digest the user has no memory of the contents of the files she added.)

Here's a naive approach. The user's digest is a hash of the entire folder contents, and proofs are copies of the entire folder contents. This results in a small digest but large proofs and long verification times. Besides, before executing add/delete/edit operations, the user must retrieve the entire folder so that she can recompute the digest.

Alternatively, the digest could consist of a separate hash for each file, and each file would be its own proof. The downside of this approach is that it requires digest space that is linear in the number of files in the system.

Can you devise a protocol where proof size, verification time, and digest size are all sublinear? You might need a sub-protocol that involves some amount of two-way communication for the user to be able to update her digest when she executes and add, delete, or edit.

Hint: use the Merkle tree idea from Section 1.2.

Bitcoin and Cryptocurrency Technologies (page 49)-

https://d28rh4a8wq0iu5.cloudfront.net/bitcointech/readings/princeton_bitcoin_book.pdf

Reference no: EM131446962

Questions Cloud

Developing international hotels : What are some of the current issues and concerns hotel companies must content with in developing international hotels.
What business opportunity might project completion create : What information should be included in the following elements of the project charter: What is the problem the project proposes to address? What business opportunity might project completion create
Two savings accounts offered by different banks : You are looking at two savings accounts offered by different banks. One pays 5.25% APR, with daily compounding. The other pays 5.3% APR with semiannual compounding. Which account should you use to get more from your deposit?
Define the characteristics of a group : Define the characteristics of a group and identify how these align to group behaviours and performance within the Virgin group of companies. Explain the strengths and weaknesses of these in terms of team member behaviours such as cohesiveness, con..
Can you devise a protocol where proof size : Can you devise a protocol where proof size, verification time, and digest size are all sublinear? You might need a sub-protocol that involves some amount of two-way communication for the user to be able to update her digest when she executes and a..
What is the present value cost of owning the equipment : What is the present value cost of owning the equipment? What is the present value cost of leasing the equipment? What is the net advantage to leasing (NAL)?
Describe the core marketing functions within an organization : Describe the core marketing functions within an organization. Discuss the goals and expected outcomes of this organizational function
Same interest is annual compounding instead : Suppose you just deposited $50 today into Bank of America savings account that has an APR of 6%. Based on simple interest annually, how much will you have in the account after 35 years assuming no withdraw? What would be your answer if the same inter..
What are the essential tenets of the scientific method : What are the essential tenets of the scientific method, and why is the scientific method important to business research?  How have you incorporated the scientific method into your own research projects in the past

Reviews

Write a Review

Computer Engineering Questions & Answers

  Mathematics in computing

Binary search tree, and postorder and preorder traversal Determine the shortest path in Graph

  Ict governance

ICT is defined as the term of Information and communication technologies, it is diverse set of technical tools and resources used by the government agencies to communicate and produce, circulate, store, and manage all information.

  Implementation of memory management

Assignment covers the following eight topics and explore the implementation of memory management, processes and threads.

  Realize business and organizational data storage

Realize business and organizational data storage and fast access times are much more important than they have ever been. Compare and contrast magnetic tapes, magnetic disks, optical discs

  What is the protocol overhead

What are the advantages of using a compiled language over an interpreted one? Under what circumstances would you select to use an interpreted language?

  Implementation of memory management

Paper describes about memory management. How memory is used in executing programs and its critical support for applications.

  Define open and closed loop control systems

Define open and closed loop cotrol systems.Explain difference between time varying and time invariant control system wth suitable example.

  Prepare a proposal to deploy windows server

Prepare a proposal to deploy Windows Server onto an existing network based on the provided scenario.

  Security policy document project

Analyze security requirements and develop a security policy

  Write a procedure that produces independent stack objects

Write a procedure (make-stack) that produces independent stack objects, using a message-passing style, e.g.

  Define a suitable functional unit

Define a suitable functional unit for a comparative study between two different types of paint.

  Calculate yield to maturity and bond prices

Calculate yield to maturity (YTM) and bond prices

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd