ed255/pod2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: points wildcard name same as predicate (#484)

Browse source
This commit is contained in:
Dhvani Patel 2026-02-23 03:22:29 -07:00 • committed by GitHub
parent f6c6ec43ef
commit c185d27344
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
examples/main_pod_points.rs
View file

@ -71,7 +71,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
// Declare the custom predicate
let input = format!(
r#"
points(player, level, points, private: points_dict) = AND(
has_points(player, level, points, private: points_dict) = AND(
SignedBy(points_dict, PublicKey({game_pk}))
Contains(points_dict, "player", player)
Contains(points_dict, "level", level)
@ -79,8 +79,8 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
)
over_9000(player, private: points_lvl_1, points_lvl_2, points_total) = AND(
points(player, 1, points_lvl_1)
points(player, 2, points_lvl_2)
has_points(player, 1, points_lvl_1)
has_points(player, 2, points_lvl_2)
SumOf(points_total, points_lvl_1, points_lvl_2)
Gt(points_total, 9000)
)
@ -90,10 +90,10 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
println!("# custom predicate batch:{}", input);
let module = load_module(&input, "points_module", &params, &[])?;
let batch = module.batch.clone();
let points_pred = batch.predicate_ref_by_name("points").unwrap();
let points_pred = batch.predicate_ref_by_name("has_points").unwrap();
let over_9000_pred = batch.predicate_ref_by_name("over_9000").unwrap();
// Build a pod to prove the statement `points("Alice", 1, 3512)`
// Build a pod to prove the statement `has_points("Alice", 1, 3512)`
let mut builder = MainPodBuilder::new(&params, vd_set);
let st_signed_by = builder.priv_op(Operation::dict_signed_by(&pod_points_lvl_1))?;
let st_player = builder.priv_op(Operation::dict_contains(
@ -120,7 +120,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
println!("# pod_alice_lvl_1_points\n:{}", pod_alice_lvl_1_points);
pod_alice_lvl_1_points.pod.verify().unwrap();
// Build a pod to prove the statement `points("Alice", 2, 5771)`
// Build a pod to prove the statement `has_points("Alice", 2, 5771)`
let mut builder = MainPodBuilder::new(&params, vd_set);
let st_signed_by = builder.priv_op(Operation::dict_signed_by(&pod_points_lvl_2))?;
let st_player = builder.priv_op(Operation::dict_contains(