Define Non-equivocation

[aj-stein-nist]

Define equivocation and non-equivocation and cite the article that coined the term in analyzing Lamport. Closes #116.

[SteveLasker]

LGTM

[SteveLasker]

Some updated clarfiication and suggestions.

[robinbryce]

I think this reference from the CT rfc is useful.

https://datatracker.ietf.org/doc/html/rfc6962#section-7.3

"and (2) by
violating its append-only property by presenting two different,
conflicting views of the Merkle Tree at different times and/or to
different parties."

this is equivocation. If we replace "Merkle Tree" with "collection of statements".

And that reference is also careful to cast things interms of detectability rather than prevention

[aj-stein-nist]

I think this reference from the CT rfc is useful.

https://datatracker.ietf.org/doc/html/rfc6962#section-7.3

This is very useful, thanks. I will adjust with this and your other feedback, most appreciated!

updated PR feedback

[robinbryce]

I like those changes. Reads clean to me thanks

[SteveLasker]

LGTM
Thanks, @aj-stein-nist for the iterations. This was a tricky one to summarize an entire paper in a few sentences

[aj-stein-nist]

LGTM Thanks, @aj-stein-nist for the iterations. This was a tricky one to summarize an entire paper in a few sentences

Who reads papers anyway? Jokes aside, thanks for the contributions and making me think about how to communicate clearly on this one.