Skip to content

Conversation

@dbosk
Copy link
Owner

@dbosk dbosk commented Nov 15, 2018

I've commented out the DB-Schnorr section and the Tamarin spec in the appendix. Not sure if there is any other editing we must do. I've done some in the building blocks, that we assume this to exist.

@dbosk dbosk added the editing label Nov 15, 2018
@dbosk dbosk added this to the minimal-submittable milestone Nov 15, 2018
@dbosk dbosk requested review from Simon-Bouget and sbuc November 15, 2018 09:43
@sbuc sbuc merged commit 17f204d into master Nov 15, 2018
dbosk added a commit that referenced this pull request Nov 15, 2018
This reverts commit 17f204d, reversing
changes made to 6c3360e.
dbosk added a commit that referenced this pull request Nov 15, 2018
@dbosk dbosk deleted the removes-DB-anon-cred branch November 30, 2018 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants