DigiCash releases protocol specs!