[Meta] MPC specification

[jschneider-bensch]

• [x] Outline architecture (#46)
• [x] Specify circuit representation (#42)
• [ ] Specify primtitives
  • [x] #48
  • [x] #49
  • [ ] #63
• [x] Specify Preprocessing phases
  • [x] #50
  • [x] #51
• [x] Specify online phases
  • [x] #52
  • [x] #54
  • [x] #53

[franziskuskiefer]

@jschneider-bensch can this be closed? If not, please update.

[jschneider-bensch]

We have yet to implement an actively secure version of the two-party bit authentication, which essentially consists of an actively secure correlated OT extension, cf. #63.

[jschneider-bensch]

Moving the deadline to the end of the year on this, since we might make use of it for automated checks.