diff --git a/_posts/2017-04-11-snark-explain4.md b/_posts/2017-04-11-snark-explain4.md index 85a54ad..4dcae01 100644 --- a/_posts/2017-04-11-snark-explain4.md +++ b/_posts/2017-04-11-snark-explain4.md @@ -48,7 +48,7 @@ Note that in the d-KCA Bob does not send an arbitrary set of :math:`\alpha`-pair

The Verifiable Blind Evaluation Protocol

-Assume that our HH is the mapping :math:`E(x)=x\cdot g` for a generator :math:`g` of :math:`G` as above. +Assume that our HH is the mapping :math:`E(x)=x\cdot g` for a generator :math:`g` of :math:`G` as above. For simplicity, we present the protocol for this particular :math:`E`: @@ -82,4 +82,4 @@ To summarize, using the d-KCA we've developed a protocol for verifiable blind ev -

Part V >>

\ No newline at end of file +

Part V >>