Problemadvanced
Inner product problem
Also called IP.
Compute the GF(2) inner product of Alice's and Bob's vectors; full rank implies linear deterministic cost.
Compute the GF(2) inner product of Alice's and Bob's vectors; full rank implies linear deterministic cost.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag VPZREC Edit this page History Report an error