vecna
/
lox
mirror of https://gitlab.torproject.org/vecna/lox.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix error causing proof verification failure

This commit is contained in:
Vecna 2024-01-17 17:37:15 -05:00
parent 4240fa3377
commit a20300ab62
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
crates/lox-library/src/proto/positive_report.rs
View File

@ -16,8 +16,6 @@ new Lox credential. The user does not receive a response.
Due to the way the level proof is implemented, this protocol has Due to the way the level proof is implemented, this protocol has
hardcoded assumptions that the level is 3-4. hardcoded assumptions that the level is 3-4.
Right now, this doesn't work.
*/ */
use curve25519_dalek::ristretto::{RistrettoBasepointTable, RistrettoPoint}; use curve25519_dalek::ristretto::{RistrettoBasepointTable, RistrettoPoint};
@ -180,7 +178,7 @@ pub fn request(
*/ */
// Construct the proof // Construct the proof
let mut transcript = Transcript::new(b"proof of level 3 cred"); let mut transcript = Transcript::new(b"positive report request");
let piUser = requestproof::prove_compact( let piUser = requestproof::prove_compact(
&mut transcript, &mut transcript,
requestproof::ProveAssignments { requestproof::ProveAssignments {
@ -272,7 +270,6 @@ impl BridgeAuth {
// Recompute CG // Recompute CG
// let CG = req.CLevel - Scalar::from(3 as u8) * req.P; // let CG = req.CLevel - Scalar::from(3 as u8) * req.P;
// TODO: Failure happens in verify_compact
// Verify the zkp // Verify the zkp
let mut transcript = Transcript::new(b"positive report request"); let mut transcript = Transcript::new(b"positive report request");
requestproof::verify_compact( requestproof::verify_compact(