Timeline
02/17/09:
- 15:29 Ticket #78 (Support types for the secret components of a zero-knowledge proof) closed by
- fixed
- 15:28 Changeset [18069] by
- Supporting types for the secret components of a zero-knowledge proof …
- 10:25 Ticket #78 (Support types for the secret components of a zero-knowledge proof) created by
02/12/09:
- 20:20 WikiStart edited by
- (diff)
- 20:19 WikiStart edited by
- (diff)
- 19:12 WikiStart edited by
- (diff)
- 19:11 WikiStart edited by
- Release 0.2.0 (diff)
- 18:47 Milestone 0.2.0 completed
- 18:46 Ticket #77 (Incorrect implementation of non-disjoint and statement compilation) closed by
- fixed
- 18:45 Changeset [17982] by
- Fixed incorrect implementation of non-disjoint and statement compilation …
02/09/09:
02/05/09:
- 15:09 Changeset [17710] by
- 12:28 Changeset [17698] by
- fixed the problem introduced in checker.ml in my last change. blame me
- 10:56 Changeset [17693] by
- Ugly hack
02/04/09:
- 20:49 Changeset [17677] by
- spi2rcf config file
- 10:25 Changeset [17626] by
- dramatically reduced the usage of list2set by making dom return a set …
02/03/09:
02/02/09:
- 21:19 Changeset [17550] by
- cross-compiling working again
02/01/09:
01/29/09:
- 11:24 Ticket #77 (Incorrect implementation of non-disjoint and statement compilation) created by
- The current implementation of non-disjoint is unsound, as it no longer …
01/26/09:
- 14:16 Ticket #76 (Scope error in samples/bugs/bad-scopes.spi) closed by
- fixed
- 14:15 Changeset [17184] by
- Fixed samples
- 14:11 Changeset [17183] by
- changed printing of parallel to be more expressive, changed the type of …
- 11:43 Ticket #76 (Scope error in samples/bugs/bad-scopes.spi) created by
- Was an error in the algorithmic version
- 11:42 Changeset [17169] by
- Sample exhibiting bug
01/20/09:
- 17:57 Changeset [17047] by
- Added more cases to non-disjoint (not sure they are sound), added one more …
- 09:56 Changeset [17015] by
- Changed daa-sign-simplified.spi so that it exercises the fix to Ticket …
- 09:46 Ticket #75 (Renaming bug in "formulas") closed by
- fixed
- 09:45 Changeset [17013] by
- tracked the bug from ticket #75. Used replace_formula instead of the old …
- 08:02 Changeset [17010] by
- Fixed simple-zk-encoded.spi
01/19/09:
- 17:22 Ticket #75 (Renaming bug in "formulas") created by
- Turning xxf to xf in Tki in samples/daa-sign-simplified.spi causes …
- 17:15 Changeset [16990] by
- Committed the wrong file before ... simple-zk-encoded.spi doesn't really …
- 17:11 Changeset [16989] by
- Added simplified version of the DAA-sign protocol where the zero-knowledge …
- 17:09 Changeset [16988] by
- Added simplified version of the DAA-sign protocol where the zero-knowledge …
- 16:29 Changeset [16987] by
- Added simplified version of the DAA-sign protocol -- used in the slides
- 15:13 Changeset [16980] by
- Added example that shows that having Hash(Private) tainted would be …
- 13:31 Changeset [16976] by
- Example for union types -- nounce handshake using public-key encryption
- 12:17 Ticket #74 (Test case: designated verifier zero-knowledge proof) created by
- This would be great for testing proofs of disjunctions (we never did!).
Note: See TracTimeline
for information about the timeline view.
