OCaml Forge

Diary And Notes For: Eray Ozkural

On fiat-shamir-zkp and lasvegas-geom releases

Posted on 2010-08-15 21:10

These are implementations of some nifty algorithms in the literature. The former is a zero knowledge proof system, made into a cryptographic authentication scheme. The latter is an efficient randomized computational geometry algorithm. Both are interesting algorithms and implementations in their own right, however, they might even find some use in apps. I've released them under Affero GPL v3, so that freedom comes first. They are not meant for use in proprietary code.

Existing Diary And Note Entries

Subject Date
I can't access the ssh server again2011-06-19 10:04
OcamlMPI hacking2011-01-13 04:32
On fiat-shamir-zkp and lasvegas-geom releases2010-08-15 21:10
I'm on ocamlforge, finally!2010-07-29 19:40