Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add documentation for Vara Bridge #220

Open
wants to merge 18 commits into
base: master
Choose a base branch
from
Open

Conversation

wentelteefje
Copy link
Contributor

This PR aims to add proper documentation for the upcoming Vara Bridge.

docs/bridge/_category_.json Outdated Show resolved Hide resolved
docs/bridge/bridge.mdx Outdated Show resolved Hide resolved
docs/bridge/bridge.mdx Outdated Show resolved Hide resolved
docs/bridge/bridge.mdx Show resolved Hide resolved
docs/bridge/bridging-guide.md Outdated Show resolved Hide resolved
docs/bridge/bridging-guide.md Outdated Show resolved Hide resolved
docs/bridge/bridging-guide.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
@AndrePanin AndrePanin requested a review from mertwole January 20, 2025 19:49
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved
docs/bridge/architecture.md Outdated Show resolved Hide resolved

- **Relayer**: Receives a Merkle trie root proof from the Prover and submits it to the `Verifier` for validation using `PlonkVerifier`. Once the proof is confirmed, the `Relayer` records the validated Merkle trie root and block number, so the `MessageQueue` can authenticate messages.

- **Verifier**: Uses a `PlonkVerifier` to check zero-knowledge proofs demonstrating that a Merkle trie root belongs to a finalized Vara block. By verifying the Merkle trie root’s integrity, it ensures the data that arrives at the `Relayer` is genuine, facilitating the rest of the bridging process.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It doesn't verify integrity of the merkle roots, it just checks that they're the same as in the proof

docs/bridge/architecture.md Outdated Show resolved Hide resolved
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants