tlsnotary/docs-mdbook
1
0
Fork 0
mirror of https://github.com/tlsnotary/docs-mdbook.git synced 2026-01-08 04:13:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

add usage in tlsn

Browse Source
This commit is contained in:
sinui0
2025-04-15 21:42:07 +07:00
parent 407a186a63
commit d1df5bd23b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/mpc/binary_arithmetic.md
View File

@@ -56,3 +56,6 @@ In the extreme case, $\mathcal{A}$ may choose $f'$ such that it simply outputs $
To summarize the above, the finalization procedure ensures a probabilistic leakage bound on the inputs of $P_B$ and also enforces correctness albeit with potentially inconsistent inputs from $P_A$.
## Usage in TLSNotary
TLSNotary uses $\mathcal{F}_{\text{DEAP}}$ such that the `Prover` and `Verifier` are $P_A$ and $P_B$ respectively. This ensures that a corrupted `Verifier` can not extract any private information of the `Prover` nor can it affect the correctness of any of the computations which could lead to malicious state updates in an application. Conversely, a corrupted `Prover` can not prematurely learn the inputs of the `Verifier` nor break correctness in any meaningful way without detection.