> Not that I'm aware of. Cryptol is written in Haskell which might make it > harder to do a validation. At least I'm not very Haskellish. have haskellians in iij lab and friends in cambridge > A formally verified second opinion, basically. /me likes