Internet Voting System
開発者名：highdefini
マイナンバーカードを使うインターネット投票の設計検証プロトタイプ。JPKI認証・ブラインド署名・ゼロ知識証明・ミックスネット・閾値復号をモジュール分離で実装し、信頼境界を「動くコード」で議論できるようにしています。実際の選挙には使用できません（参考実装）。
マイナンバーカードを使うインターネット投票の設計検証プロトタイプ。JPKI認証・ブラインド署名・ゼロ知識証明・ミックスネット・閾値復号をモジュール分離で実装し、信頼境界を「動くコード」で議論できるようにしています。実際の選挙には使用できません（参考実装）。