Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Propagation of Uncertainty from Random Error00:59

Propagation of Uncertainty from Random Error

1.1K
An experiment often consists of more than a single step. In this case, measurements at each step give rise to uncertainty. Because the measurements occur in successive steps, the uncertainty in one step necessarily contributes to that in the subsequent step. As we perform statistical analysis on these types of experiments, we must learn to account for the propagation of uncertainty from one step to the next. The propagation of uncertainty depends on the type of arithmetic operation performed on...
1.1K
Norton's Theorem01:14

Norton's Theorem

752
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the...
752
Leaky Scanning02:28

Leaky Scanning

5.2K
During most eukaryotic translation processes, the small 40S ribosome subunit scans an mRNA from its 5' end until it encounters the first start AUG codon. The large 60S ribosomal subunit then joins the smaller one to initiate protein synthesis. The location of the translation initiation is largely determined by the nucleotides near the start codon as there may be multiple translation initiation sites present on the mRNA.  Marilyn Kozak discovered that the sequence RCCAUGG (where R...
5.2K
Propagation of Uncertainty from Systematic Error01:10

Propagation of Uncertainty from Systematic Error

851
The atomic mass of an element varies due to the relative ratio of its isotopes. A sample's relative proportion of oxygen isotopes influences its average atomic mass. For instance, if we were to measure the atomic mass of oxygen from a sample, the mass would be a weighted average of the isotopic masses of oxygen in that sample. Since a single sample is not likely to perfectly reflect the true atomic mass of oxygen for all the molecules of oxygen on Earth, the mass we obtain from this...
851
Types of Errors: Detection and Minimization01:12

Types of Errors: Detection and Minimization

2.2K
Error is the deviation of the obtained result from the true, expected value or the estimated central value. Errors are expressed in absolute or relative terms.
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...
2.2K
Wald-Wolfowitz Runs Test II01:17

Wald-Wolfowitz Runs Test II

310
The Wald-Wolfowitz runs test, commonly referred to as the runs test, is a nonparametric test used to assess the randomness of ordered data. The test evaluates the number of runs, which are consecutive sequences of similar elements within the data. If the number of runs is significantly higher or lower than expected, the data is considered non-random, indicating a detectable pattern or structure.
For binary data, runs are identified using symbols such as + and −, or equivalently, 1s and...
310

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same journal

Research on a Regional Availability Evaluation Model for Road-Area High-Entropy Energy Based on Synergy Factors.

Entropy (Basel, Switzerland)·2026
Same journal

Atmospheric Turbulence Channel Modeling and Performance Analysis of a CO-ZP-OFDM Coherent Optical Communication System for UAV Air-to-Ground Scenarios.

Entropy (Basel, Switzerland)·2026
Same journal

Information Geometry and Asymptotic Theory for SMML Estimators.

Entropy (Basel, Switzerland)·2026
Same journal

Correlation Entropy and Power-Law Kinetics.

Entropy (Basel, Switzerland)·2026
Same journal

Research on the Contagion of Systemic Financial Risk Under the Impact of Climate Risks-From the Perspective of Complex Networks and Machine Learning.

Entropy (Basel, Switzerland)·2026
Same journal

The Statistical-Mechanical Meaning of the Wave Function of Quantum Mechanics.

Entropy (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Sep 3, 2025

The Modified Temptation Resistance Task: A Paradigm to Elicit Children's Strategic Lie-telling
06:51

The Modified Temptation Resistance Task: A Paradigm to Elicit Children's Strategic Lie-telling

Published on: April 6, 2018

8.5K

Shielding Probabilistically Checkable Proofs: Zero-Knowledge PCPs from Leakage Resilience.

Mor Weiss1

  • 1The Alexander Kofkin Faculty of Engineering, Bar-Ilan University, Ramat-Gan 5290002, Israel.

Entropy (Basel, Switzerland)
|July 27, 2022
PubMed
Summary
This summary is machine-generated.

Recent advancements in Zero-Knowledge Proofs (ZK-PCPs) introduce single-round verification for honest verifiers. These new constructions connect ZK-PCPs with leakage resilience, offering different trade-offs compared to earlier multi-round methods.

Keywords:
Probabilistically Checkable Proofsleakage resiliencezero knowledge

More Related Videos

Characterization of Anisotropic Leaky Mode Modulators for Holovideo
09:36

Characterization of Anisotropic Leaky Mode Modulators for Holovideo

Published on: March 19, 2016

8.0K
Silicon Metal-oxide-semiconductor Quantum Dots for Single-electron Pumping
14:58

Silicon Metal-oxide-semiconductor Quantum Dots for Single-electron Pumping

Published on: June 3, 2015

14.9K

Related Experiment Videos

Last Updated: Sep 3, 2025

The Modified Temptation Resistance Task: A Paradigm to Elicit Children's Strategic Lie-telling
06:51

The Modified Temptation Resistance Task: A Paradigm to Elicit Children's Strategic Lie-telling

Published on: April 6, 2018

8.5K
Characterization of Anisotropic Leaky Mode Modulators for Holovideo
09:36

Characterization of Anisotropic Leaky Mode Modulators for Holovideo

Published on: March 19, 2016

8.0K
Silicon Metal-oxide-semiconductor Quantum Dots for Single-electron Pumping
14:58

Silicon Metal-oxide-semiconductor Quantum Dots for Single-electron Pumping

Published on: June 3, 2015

14.9K

Area of Science:

  • Cryptography
  • Theoretical Computer Science

Background:

  • Probabilistically Checkable Proofs (PCPs) enable efficient verification of statements by querying limited proof bits.
  • Zero-Knowledge PCPs (ZK-PCPs) add a crucial layer of privacy, ensuring verifier interactions can be simulated efficiently.
  • Traditional ZK-PCP constructions require multiple verification rounds, increasing complexity in cryptographic applications.

Purpose of the Study:

  • To survey recent Zero-Knowledge Proof constructions that achieve single-round verification for the honest verifier.
  • To explore novel techniques connecting ZK-PCPs with leakage resilience.
  • To compare these new constructions with prior ZK-PCP methods regarding query complexity and zero-knowledge guarantees.

Main Methods:

  • Review of two recent ZK-PCP constructions: Ishai et al. (TCC 2016-A) and Hazay et al. (ITC 2021).
  • Analysis of techniques leveraging the concept of leakage resilience.
  • Comparison of honest vs. malicious verifier query complexity and the efficiency of the zero-knowledge simulator.

Main Results:

  • Two new ZK-PCP constructions achieve single-round verification for the honest verifier.
  • These constructions utilize leakage resilience, a departure from previous ZK-PCP techniques.
  • The new methods present trade-offs, including potentially smaller ratios between honest and malicious verifier query complexity or weaker zero-knowledge simulation guarantees.

Conclusions:

  • Single-round ZK-PCPs are now achievable through novel approaches linking to leakage resilience.
  • These advancements offer alternative design choices in ZK-PCPs, balancing efficiency and security guarantees.
  • Future research may further refine these techniques for broader cryptographic applications.