Zero Knowledge Proof


Zero-Knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory definition; zero-knowledge proofs are both convincing and yet yield nothing beyond the validity of the assertion being proven. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in Cryptography, zero-knowledge proofs serve as a good bench-mark for the study of various problems regarding cryptographic protocols (e.g., “secure composion of protocols” and the “use of of the adversary’s program within the proof of security”).

In this tutorial we will present the basic definitions and results regarding zero-knowledge as well as some recent developments regarding this notion.

The Basics

Loosely speaking, zero-knowledge proofs are proofs that yield nothing beyond the validity of the assertion. That is, a verifier obtaining such a proof only gains conviction in the validity of the assertion. This is formulated by saying that anything that is feasibly computable from a zero-knowledge proof is also feasibly computable from the (valid) assertion itself (by a so-called simulator). Variants on the basic definition include:

  • Consideration of auxiliary inputs.
  • Universal and black-box simulations.
  • Restricting attention to honest verifiers.
  • The level of similarity required of the simulation.

It is well-known that zero-knowledge proofs exist for any NP-set, provided that one-way functions exist. This result is a powerful tool in the design of cryptographic protocols, because it enables to force parties to behave according to a predetermined protocol (i.e., the protocol requires parties to provide zero-knowledge proofs of the correctness of their secret-based actions, without revealing these secrets).

Advanced Topics

We focus on two basic problems regarding zero-knowledge, which actually arise also with respect to the security of other cryptographic primitives. The first question refers to the preservation of security (i.e., zero-knowledge in our case) under various types of composition operations. We survey the known results regarding sequential, parallel and concurrent execution of (arbitrary and/or specific) zero-knowledge protocols. The main facts are:

  • Zero-knowledge (w.r.t auxiliary inputs) is closed under sequential composition.
  • In general, zero-knowledge is not closed under parallel composition. Yet, some zero-knowledge proofs (for NP) preserve their security when many copies are executed in parallel. Furthermore, some of these protocol use a constant number of rounds.
  • Some zero-knowledge proofs (for NP) preserve their security when many copies are executed concurrently, but such a result is not known for constant-round protocols.

The second basic question regarding zero-knowledge refers to the usage of the adversary’s program within the proof of security (i.e., demonstration of the zero-knowledge property). For 15 years, all known proofs of security used the adversary’s program as a black-box (i.e., a universal simulator was presented using the adversary’s program as an oracle). Furthermore, it was believed that there is no advantage in having access to the code of the adversary’s program. Consequently it was conjectured that negative results regarding black-box simulation represent an inherent limitation of zero-knowledge. This belief has been refuted recently by a zero-knowledge argument (for NP) that has important properties that are unachievable by black-box simulation.

Other topics treated in the full version of the tutorial (but not in its oral presentation) include proofs of knowledge, Non-Interactive Zero-Knowledge proofs, Statistical Zero-Knowledge, Knowledge Complexity, and the resettability of a party’s random-tape.
http://www.wisdom.weizmann.ac.il/~oded/zk-tut02.html

Advertisements

Some Useful Coding Reference


Imp wordpress issues:

Unicode Issue:
http://wordpress.org/support/topic/183358?replies=31
Permalink Issue:
http://wordpress.org/support/topic/152699?replies=4
HTML:

Online Forums:
http://www.w3schools.com/

Tutorials and Resources on Styling Lists

http://css.maxdesign.com.au/listamatic/index.htm (exellent!)
http://www.simplebits.com/notebook/2003/10…sted_lists.html
http://www.meyerweb.com/eric/talks/2003/co…mug/commug.html
http://www.stuffandnonsense.co.uk/archives…icity_wars.html
http://websitetips.com/css/
http://www.w3.org/Style/CSS/learning
http://webdesign.about.com/od/css/
http://dorward.me.uk/www/css/

Rollover Effects

http://www.daleglaser.com/art/WebTips/06csshover.html (basic)
http://wellstyled.com/css-nopreload-rollovers.html (images; no preloads)
http://www.petethomas.co.uk/multimedia-css…-rollovers.html (images; no preloads)
http://www.cre8asiteforums.com/forums/inde…p?showtopic=723
http://www.designmeme.com/articles/cssrollovers/
http://www.smartwebby.com/web_site_d…css_styles.asp
http://www.ssi-developer.net/css/men…r-effect.shtml
http://www.entheosweb.com/website_design/css_styles.asp
http://builder.com.com/5100-6371-5279569.html
http://sophie-g.net/jobs/css/e_buttons.htm
http://www.gungfu.de/web/proj/testcase/cssRollover.html
http://www.usabilityandbranding.com/…overEffect.php
http://ecoculture.com/styleguide/r/rollovers.html
http://webpage-tools.com/css_mouseover.asp
http://www.velocityreviews.com/forum…r-effects.html
http://www.pixelmill.com/support/al1015/kb101543.htm

CSS Resource Lists

http://www.positioniseverything.net/
http://www.csscreator.com/css-forum/index.php (forum)
http://www.w3schools.com/css/default.asp (loads of tutorials)
http://www.htmldog.com/ (tutorials)
http://www.alistapart.com/ (loads of articles; CSS and various web design)
http://www.dezwozhere.com/links.html
http://cssvault.com/resources.php
http://www.ericmeyeroncss.com/links/resources.html
http://www.sitepronews.com/archives/2005/july/20.html
http://www.last-child.com
http://webstandardsgroup.org/resourc…urce_cat_id=11
http://www.wdvl.com/Authoring/Style/…Resources.html

Layouts

http://positioniseverything.net/articles/o…/onetruelayout/
http://www.maxdesign.com.au/presentation/p…youts/index.cfm
http://www.fu2k.org/alex/css/index.mhtml
http://www.thenoodleincident.com/tutorials…sson/boxes.html
http://wellstyled.com/css-2col-fluid-layout.html
http://css.maxdesign.com.au/floatutorial/ (float tutorial)
http://www.realworldstyle.com/2col.html
http://www.glish.com/css/7.asp
http://www.positioniseverything.net/easyclearing.html (floats)
http://www.bluerobot.com/web/layouts/
http://glish.com/css/
http://www.stopdesign.com/articles/absolute/ (positioning)
http://www.csscreator.com
http://www.cssdrive.com/index.php/examples/
http://www.domedia.org/oveklykken/

Box Model

http://www.brainjar.com/css/positioning/default.asp

http://www.redmelon.net/tstme/box_model/
http://www.w3.org/TR/REC-CSS2/box.html
http://www.ilovejackdaniels.com/css/box-model/
http://css-discuss.incutio.com/?page=BoxModel
http://www.quirksmode.org/css/box.html
http://jessey.net/simon/articles/003.html
http://www.tanfa.co.uk/css/articles/css-box-model.asp

Drop Shadows

http://www.alistapart.com/articles/cssdropshadows/
http://www.evolt.org/article/Simple_…dows/17/18583/
http://www.designmeme.com/articles/dropshadows/
http://www.communitymx.com/abstract.cfm?cid=15F35
http://phoenity.com/newtedge/drop_shadow/
http://nontroppo.org/test/shadow.html

Image Maps

http://www.alistapart.com/articles/imagemap/
http://www.frankmanno.com/ideas/css-imagemap/
http://cssplay.co.uk/menu/imap.html
http://www.webreference.com/programm…map/index.html
http://cssvault.com/cssjavascript/css_image_map.php
http://tutorials.alsacreations.com/imagemaps/maps2.htm
http://www.cybersaps.org/2003/12/CSS-image-maps.html

Link Styles

http://dbaron.org/css/1999/09/links

Inspiration (Pure CSS Sites)

http://www.csszengarden.com
http://www.webstandardsawards.com/
http://www.cssbeauty.com/
http://stopdesign.com/
http://www.adaptivepath.com/
http://www.alistapart.com/

Other Cool Stuff

http://www.cssplay.co.uk
http://www.imaputz.com/cssStuff/bigFourVersion.html (scrolling table)
http://www.bigbaer.com/css_tutorials/css.i…e.text.wrap.htm (image wrap; very intense coding though)
http://www.quirksmode.org/ (browser compatibility issues)
http://www.456bereastreet.com/archive/2005…_tricks_part_1/ (tips & tricks)
http://www.456bereastreet.com/archive/2005…and_properties/
http://www.alistapart.com/articles/goingtoprint/ (CSS for print)
http://www.killersites.com/articles/newsle…r_Nov3_2003.htm (CSS for print)
http://members.aol.com/jbjtutor/css/pagec_27.html (inheritance)
Tools
http://www.snapfiles.com/get/cascadedtp.html

First Generation Computers


General

  • First generation computers are characterized by the use of vacuum tube logic.

ABC

  • The Atanasoff-Berry Computer (ABC) was the first electronic digital computer.
  • The ABC was built from 1937 to 1942 by by John V. Atanasoff and Clifford Berry at Iowa State University.
  • The ABC used binary arithmetic.

Colossus

  • The Colossus computer was developed in secret by Great Brittain during World War II, and was operational in 1943.
  • Colossus was used to decode German messages.
  • The existence of Colossus was kept a secret until 1970, by which time it had been disassembled.
  • Due to the secrecy under which it was developed, almost no details of the construction or architecture of Colossus are known.

ENIAC

  • The Electronic Numerical Integrator and Computer (ENIAC) was developed for the U.S. Army to calculate ballistic tables.
  • ENIAC used 19,000 vacuum tubes and 1,500 mechanical relays.
  • ENIAC consumed almost 200 KW of power.
  • ENIAC performed decimal arithmetic, in contrast to the binary arithmetic performed by computers today.
  • ENIAC did not run from a stored program, but was programmed using patch cords.
  • ENIAC was completed in 1946, and was operated until 1955.
  • ENIAC cost almost $500,000.

UNIVAC I

  • The Universal Automatic Computer UNIVAC I design was begun in 1946, and the first working unit was finished in 1951.
  • The UNIVAC was the first computer designed for commercial sale.
  • The UNIVAC I had 5200 vacuum tubes, weighed 29,000 pounds, and consumed 125 kilowatts of electrical power.
  • The memory of the UNIVAC I was mercury acoustic delay lines.
  • Numbers were stored in excess-3 binary coded decimal form.

The IAS computer

IBM 701 Computer

  • The 701 was IBM’s first commercial computer.
  • The first IBM 701 system was installed in 1953.
  • The 701 was designed for scientific applications.
  • The 701 was comprised of 11 compact and connected units.
  • The 701 had a word size of 36 bits.
  • The 701 had 2048 words of electrostatic storage, and 16,192 words of magnetic drum storage.
  • The 701 had 4 magnetic tape units for secondary storage.

Brief Early Computer Timeline

Date

Event

Description

Arithmetic

Logic

Memory

1942

ABC

Atanasoff-Berry Computer

binary

vacuum tubes

capacitors

1944

Collosus

1946

ENIAC

Electronic Numerical Integrator And Computer

decimal

vacuum tubes

vacuum tubes

1947

EDVAC

Electronic Discrete Variable Automatic Computer

binary

1948

The Baby

Manchester Small Scale Experimental Machine

binary

vacuum tubes

CRST

1949

UNIVAC I

Universal Automatic Computer

decimal

vacuum tubes

mercury delay lines

1949

EDSAC

Electronic Delay Storage Automatic Computer

binary

vacuum tubes

mercury delay lines

1952

IAS

Institute for Advanced Studies

binary

vacuum tubes

cathode ray tubes

1953

IBM 701

binary

vacuum tubes

mercury delay lines

New Internet Explorer 8 Beta- What’s New?



Bookmark and Share

Six months after Beta 1 hit the streets, Microsoft releases Internet Explorer 8 Beta 2 to brave testers. The new beta includes features that make it look like a viable choice of modern browser, like a smart address bar (sound familiar?), tab grouping, private browsing, find in-page, suggested sites related to the current page, and more. Let’s take a look at what’s coming out of Redmond in the browser arena.

IE8 Beta 2’s Most Useful Features
Smart Address Bar: IE 8 beta 2 includes a Smart Address Bar, that, like Firefox 3’s “AwesomeBar,” drops down suggestions as-you-type a web site URL gleaned from your favorites, feeds, and history. Unlike Firefox, IE 8 includes headers so you can see where each suggestion comes from.

Tab Grouping: Ever open a bunch of links from a single page in new tabs, and then lose track of which tabs came from what page? IE8’s got a nifty “tab grouping” feature that colors your tabs based on their source. Here’s what a few tab groups—one from Lifehacker, one from the MSN homepage—look like.

InPrivate Browsing: What with the Smart Address Bar pulling up every site you’ve visited recently in plain view in its History suggestions, there may be times when you visit a site and have the browser forget it ever happened. IE 8 beta 2’s “InPrivate” browsing mode adds an icon to the address bar, and forgets you were ever at a web page when it’s enabled.

Continue reading “New Internet Explorer 8 Beta- What’s New?”