4nk/sdk_common
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix pcd tests

Browse Source
This commit is contained in:
Sosthene 2024-12-06 15:26:38 +01:00 committed by Nicolas Cantu
parent da2cd5d62a
commit de93b1e568
1 changed files with 22 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
src/pcd.rs
View File

@ -492,7 +492,7 @@ mod tests {
use super::*; use super::*;
use crate::{ use crate::{
pcd::{AnkPcdHash, Member}, pcd::Member,
signature::{AnkHash, Proof}, signature::{AnkHash, Proof},
}; };
@ -585,7 +585,7 @@ mod tests {
let validation_rule = ValidationRule::new(0.5, fields.clone(), 0.5).unwrap(); let validation_rule = ValidationRule::new(0.5, fields.clone(), 0.5).unwrap();
let pcd = json!({"field1": "value1", "field2": "value2"}); let pcd = json!({"field1": "value1", "field2": "value2"});
let commitment = pcd.hash_fields(OutPoint::null()).unwrap(); let commitment = pcd.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap();
let validation_hash1 = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash1 = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -650,7 +650,7 @@ mod tests {
let pcd = json!({"field1": "value1", "field2": "value2"}); let pcd = json!({"field1": "value1", "field2": "value2"});
let commitment = pcd.hash_fields(OutPoint::null()).unwrap(); let commitment = pcd.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap();
let validation_hash_yes = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash_yes = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -701,7 +701,7 @@ mod tests {
let validation_rule = ValidationRule::new(1.0, fields.clone(), 0.5).unwrap(); let validation_rule = ValidationRule::new(1.0, fields.clone(), 0.5).unwrap();
let pcd = json!({"field1": "value1", "field2": "value2"}); let pcd = json!({"field1": "value1", "field2": "value2"});
let commitment = pcd.hash_fields(OutPoint::null()).unwrap(); let commitment = pcd.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap();
let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -746,7 +746,7 @@ mod tests {
let validation_rule = ValidationRule::new(0.5, fields.clone(), 0.5).unwrap(); let validation_rule = ValidationRule::new(0.5, fields.clone(), 0.5).unwrap();
let pcd = json!({"field1": "value1", "field2": "value2"}); let pcd = json!({"field1": "value1", "field2": "value2"});
let commitment = pcd.hash_fields(OutPoint::null()).unwrap(); let commitment = pcd.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(commitment).create_merkle_tree().unwrap().root().unwrap();
let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -795,7 +795,7 @@ mod tests {
.unwrap()]) .unwrap()])
.unwrap(); .unwrap();
let pcd = json!({"field1": "value1"}); let pcd = json!({"field1": "value1"});
let commitments = pcd.hash_fields(OutPoint::null()).unwrap(); let commitments = pcd.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(commitments).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(commitments).create_merkle_tree().unwrap().root().unwrap();
let alice_spend_key: SecretKey = alice_wallet let alice_spend_key: SecretKey = alice_wallet
@ -848,7 +848,7 @@ mod tests {
let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" }); let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" });
let new_state = json!({ "field1": "new_value1", "field2": "new_value2" }); let new_state = json!({ "field1": "new_value1", "field2": "new_value2" });
let new_state_commitments = new_state.hash_fields(OutPoint::null()).unwrap(); let new_state_commitments = new_state.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap();
let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -866,7 +866,9 @@ mod tests {
let proofs = vec![alice_proof, bob_proof]; let proofs = vec![alice_proof, bob_proof];
// assert!(role_def.is_satisfied(&new_state, &previous_state, &proofs).is_ok()); let modified_fields: Vec<String> = new_state.as_object().unwrap().iter().map(|(key, _)| key.clone()).collect();
assert!(role_def.is_satisfied(modified_fields, new_state_merkle_root, &proofs).is_ok());
} }
#[test] #[test]
@ -903,7 +905,7 @@ mod tests {
let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" }); let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" });
let new_state = json!({ "field1": "new_value1", "field2": "new_value2" }); let new_state = json!({ "field1": "new_value1", "field2": "new_value2" });
let new_state_commitments = new_state.hash_fields(OutPoint::null()).unwrap(); let new_state_commitments = new_state.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap();
// let validation_hash1 = AnkValidationYesHash::from_commitment(new_state_hash); // let validation_hash1 = AnkValidationYesHash::from_commitment(new_state_hash);
@ -921,7 +923,9 @@ mod tests {
let proofs = vec![alice_proof, bob_proof]; let proofs = vec![alice_proof, bob_proof];
// assert!(!role_def.is_satisfied(&new_state, &previous_state, &proofs)); let modified_fields: Vec<String> = new_state.as_object().unwrap().iter().map(|(key, _)| key.clone()).collect();
assert!(role_def.is_satisfied(modified_fields, new_state_merkle_root, &proofs).is_err());
} }
#[test] #[test]
@ -958,7 +962,7 @@ mod tests {
let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" }); let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" });
let new_state = json!({ "field1": "old_value1", "field2": "new_value2" }); let new_state = json!({ "field1": "old_value1", "field2": "new_value2" });
let new_state_commitments = new_state.hash_fields(OutPoint::null()).unwrap(); let new_state_commitments = new_state.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap();
let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -976,7 +980,9 @@ mod tests {
let proofs = vec![alice_proof, bob_proof]; let proofs = vec![alice_proof, bob_proof];
// assert!(role_def.is_satisfied(&new_state, &previous_state, &proofs)); let modified_fields: Vec<String> = new_state.as_object().unwrap().iter().map(|(key, _)| key.clone()).collect();
assert!(role_def.is_satisfied(modified_fields, new_state_merkle_root, &proofs).is_ok());
} }
#[test] #[test]
@ -1013,7 +1019,7 @@ mod tests {
let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" }); let previous_state = json!({ "field1": "old_value1", "field2": "old_value2" });
let new_state = json!({ "field1": "old_value1", "field2": "new_value2" }); let new_state = json!({ "field1": "old_value1", "field2": "new_value2" });
let new_state_commitments = new_state.hash_fields(OutPoint::null()).unwrap(); let new_state_commitments = new_state.hash_all_fields(OutPoint::null()).unwrap();
let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap(); let new_state_merkle_root = Value::Object(new_state_commitments).create_merkle_tree().unwrap().root().unwrap();
let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root); let validation_hash = AnkValidationYesHash::from_merkle_root(new_state_merkle_root);
@ -1031,7 +1037,9 @@ mod tests {
let proofs = vec![alice_proof]; let proofs = vec![alice_proof];
// assert!(!role_def.is_satisfied(&new_state, &previous_state, &proofs)); let modified_fields: Vec<String> = new_state.as_object().unwrap().iter().map(|(key, _)| key.clone()).collect();
assert!(role_def.is_satisfied(modified_fields, new_state_merkle_root, &proofs).is_err());
} }
#[test] #[test]