Documentation - Centralized Telescope: Proof #145
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
curiecrypt
force-pushed
the
curiecrypt/doc-centralized-proof
branch
from
13acba3 to
71947af
Compare
curiecrypt
force-pushed
the
curiecrypt/doc-centralized-proof
branch
from
71947af to
e806e0f
Compare
rrtoledo
reviewed
Feb 18, 2025
| ## Prove | ||
| The `prove` function generates a valid proof by iterating over multiple retries and ensuring proof construction within a bounded number of steps. | ||
| It follows these steps: | ||
| - It initializes a step counter to keep track of the total number of DFS calls made throughout the process. |
There was a problem hiding this comment.
The number of steps is initializedin prove_index
| ## Creating a Telescope | ||
|
|
||
| Constructing an ALBA proof within a **centralized Telescope-bounded DFS setup** requires careful parameter selection to ensure both efficiency and security. | ||
| - The **security parameter for adversarial resistance** ($\lambda_{\text{sec}}$) controls how difficult it is for an adversary to forge a valid proof. |
There was a problem hiding this comment.
Suggested change
| - The **security parameter for adversarial resistance** ($\lambda_{\text{sec}}$) controls how difficult it is for an adversary to forge a valid proof. | |
| - The **soundness parameter** ($\lambda_{\text{sec}}$) controls how difficult it is for an adversary to forge a valid proof. |
| Constructing an ALBA proof within a **centralized Telescope-bounded DFS setup** requires careful parameter selection to ensure both efficiency and security. | ||
| - The **security parameter for adversarial resistance** ($\lambda_{\text{sec}}$) controls how difficult it is for an adversary to forge a valid proof. | ||
| - A higher $\lambda_{\text{sec}}$ increases the difficulty of false proofs but may require more computational resources. | ||
| - The **security parameter for proof reliability** ($\lambda_{\text{rel}}$) determines the probability that an honest prover can generate a valid proof within the given constraints. |
There was a problem hiding this comment.
Suggested change
| - The **security parameter for proof reliability** ($\lambda_{\text{rel}}$) determines the probability that an honest prover can generate a valid proof within the given constraints. | |
| - The **reliability parameter** ($\lambda_{\text{rel}}$) determines the probability that an honest prover can generate a valid proof within the given constraints. |
| - The **security parameter for adversarial resistance** ($\lambda_{\text{sec}}$) controls how difficult it is for an adversary to forge a valid proof. | ||
| - A higher $\lambda_{\text{sec}}$ increases the difficulty of false proofs but may require more computational resources. | ||
| - The **security parameter for proof reliability** ($\lambda_{\text{rel}}$) determines the probability that an honest prover can generate a valid proof within the given constraints. | ||
| - If $\lambda_{\text{rel}}$ is too low, legitimate proofs may fail, necessitating retries or adjustments in other parameters. |
There was a problem hiding this comment.
Suggested change
| - If $\lambda_{\text{rel}}$ is too low, legitimate proofs may fail, necessitating retries or adjustments in other parameters. | |
| - If $\lambda_{\text{rel}}$ is too low, legitimate proof generation may fail, necessitating retries or adjustments in other parameters. |
| - The **security parameter for proof reliability** ($\lambda_{\text{rel}}$) determines the probability that an honest prover can generate a valid proof within the given constraints. | ||
| - If $\lambda_{\text{rel}}$ is too low, legitimate proofs may fail, necessitating retries or adjustments in other parameters. | ||
| - The **DFS bound** is essential for computational feasibility, limiting the number of explored vertices during proof construction. | ||
| - A sufficiently high DFS bound ensures a valid proof can be found, while an overly restrictive DFS bound may lead to incomplete proofs. |
There was a problem hiding this comment.
Suggested change
| - A sufficiently high DFS bound ensures a valid proof can be found, while an overly restrictive DFS bound may lead to incomplete proofs. | |
| - A sufficiently high DFS bound ensures a valid proof can be found, while an overly restrictive DFS bound may lead to proof generation failure. |
| - The [`setup_unsafe`][crate::centralized_telescope::Telescope#method.setup_unsafe] method allows the user to create a `Telescope` manually by directly specifying internal parameters. | ||
| - Unlike `create`, this method does **not** verify the consistency or correctness of the provided parameters. | ||
| - This gives the user full control but also places the responsibility on them to ensure that the chosen parameters do not compromise security or efficiency. | ||
| - The `setup_unsafe` function exists to provide flexibility for advanced users who need custom configurations. |
There was a problem hiding this comment.
Suggested change
| - The `setup_unsafe` function exists to provide flexibility for advanced users who need custom configurations. | |
| - The `setup_unsafe` function exists to provide flexibility for advanced users who need custom configurations or create a `Telescope` object with trusted, already checked, parameters. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Content
This PR includes extensive documentation for the
proofof the centralized telescope scheme, bridging the implementation with theory.telescope.rsis explained by the files indocs/rustdoc/centralized_telescope/telescopedirectory.proof.rsis explained the files indocs/rustdoc/centralized_telescope/proofdirectory:Pre-submit checklist
Comments
Issue(s)
Blocked by #102 #142
Closes #144