hypesystem / explore-crypto-concepts

0 stars 0 forks source link

Formal definitions of terms used in formalisms #8

Open hypesystem opened 7 years ago

hypesystem commented 7 years ago

Debois made a good point today in the reading group: there are often many terms used (in Introduction to Modern Cryptography, too) that are unclear or not formally defined. For example, terms like x can see this query (what does seeing a query mean?)

It would be interesting, whenever being formal in this, to make sure to be very clear about terms. I should be super clear on the split between colloquial/informal explanations and formal explanations.