Allow chained BudgetExpr via indirection (#2461)

* Allow chained BudgetExpr via indirection

Change `And`, `Or`, and `After` expressions to contain
`Box<BudgetExpr>`s instead of directly holding payments

* run cargo fmt
This commit is contained in:
Mark 2019-01-16 18:51:50 -06:00 committed by GitHub
parent e287ba1a7e
commit 72c7139d8c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 93 additions and 29 deletions

View File

@ -39,14 +39,14 @@ pub enum BudgetExpr {
Pay(Payment), Pay(Payment),
/// Make a payment after some condition. /// Make a payment after some condition.
After(Condition, Payment), After(Condition, Box<BudgetExpr>),
/// Either make a payment after one condition or a different payment after another /// Either make a payment after one condition or a different payment after another
/// condition, which ever condition is satisfied first. /// condition, which ever condition is satisfied first.
Or((Condition, Payment), (Condition, Payment)), Or((Condition, Box<BudgetExpr>), (Condition, Box<BudgetExpr>)),
/// Make a payment after both of two conditions are satisfied /// Make a payment after both of two conditions are satisfied
And(Condition, Condition, Payment), And(Condition, Condition, Box<BudgetExpr>),
} }
impl BudgetExpr { impl BudgetExpr {
@ -57,7 +57,10 @@ impl BudgetExpr {
/// Create a budget that pays `tokens` to `to` after being witnessed by `from`. /// Create a budget that pays `tokens` to `to` after being witnessed by `from`.
pub fn new_authorized_payment(from: Pubkey, tokens: u64, to: Pubkey) -> Self { pub fn new_authorized_payment(from: Pubkey, tokens: u64, to: Pubkey) -> Self {
BudgetExpr::After(Condition::Signature(from), Payment { tokens, to }) BudgetExpr::After(
Condition::Signature(from),
Box::new(Self::new_payment(tokens, to)),
)
} }
/// Create a budget that pays tokens` to `to` after being witnessed by 2x `from`s /// Create a budget that pays tokens` to `to` after being witnessed by 2x `from`s
@ -65,13 +68,16 @@ impl BudgetExpr {
BudgetExpr::And( BudgetExpr::And(
Condition::Signature(from0), Condition::Signature(from0),
Condition::Signature(from1), Condition::Signature(from1),
Payment { tokens, to }, Box::new(Self::new_payment(tokens, to)),
) )
} }
/// Create a budget that pays `tokens` to `to` after the given DateTime. /// Create a budget that pays `tokens` to `to` after the given DateTime.
pub fn new_future_payment(dt: DateTime<Utc>, from: Pubkey, tokens: u64, to: Pubkey) -> Self { pub fn new_future_payment(dt: DateTime<Utc>, from: Pubkey, tokens: u64, to: Pubkey) -> Self {
BudgetExpr::After(Condition::Timestamp(dt, from), Payment { tokens, to }) BudgetExpr::After(
Condition::Timestamp(dt, from),
Box::new(Self::new_payment(tokens, to)),
)
} }
/// Create a budget that pays `tokens` to `to` after the given DateTime /// Create a budget that pays `tokens` to `to` after the given DateTime
@ -83,8 +89,14 @@ impl BudgetExpr {
to: Pubkey, to: Pubkey,
) -> Self { ) -> Self {
BudgetExpr::Or( BudgetExpr::Or(
(Condition::Timestamp(dt, from), Payment { tokens, to }), (
(Condition::Signature(from), Payment { tokens, to: from }), Condition::Timestamp(dt, from),
Box::new(Self::new_payment(tokens, to)),
),
(
Condition::Signature(from),
Box::new(Self::new_payment(tokens, to)),
),
) )
} }
@ -99,12 +111,11 @@ impl BudgetExpr {
/// Return true if the budget spends exactly `spendable_tokens`. /// Return true if the budget spends exactly `spendable_tokens`.
pub fn verify(&self, spendable_tokens: u64) -> bool { pub fn verify(&self, spendable_tokens: u64) -> bool {
match self { match self {
BudgetExpr::Pay(payment) BudgetExpr::Pay(payment) => payment.tokens == spendable_tokens,
| BudgetExpr::After(_, payment) BudgetExpr::After(_, sub_expr) | BudgetExpr::And(_, _, sub_expr) => {
| BudgetExpr::And(_, _, payment) => payment.tokens == spendable_tokens, sub_expr.verify(spendable_tokens)
BudgetExpr::Or(a, b) => {
a.1.tokens == spendable_tokens && b.1.tokens == spendable_tokens
} }
BudgetExpr::Or(a, b) => a.1.verify(spendable_tokens) && b.1.verify(spendable_tokens),
} }
} }
@ -112,20 +123,20 @@ impl BudgetExpr {
/// If so, modify the budget in-place. /// If so, modify the budget in-place.
pub fn apply_witness(&mut self, witness: &Witness, from: &Pubkey) { pub fn apply_witness(&mut self, witness: &Witness, from: &Pubkey) {
let new_expr = match self { let new_expr = match self {
BudgetExpr::After(cond, payment) if cond.is_satisfied(witness, from) => { BudgetExpr::After(cond, sub_expr) if cond.is_satisfied(witness, from) => {
Some(BudgetExpr::Pay(payment.clone())) Some(sub_expr.clone())
} }
BudgetExpr::Or((cond, payment), _) if cond.is_satisfied(witness, from) => { BudgetExpr::Or((cond, sub_expr), _) if cond.is_satisfied(witness, from) => {
Some(BudgetExpr::Pay(payment.clone())) Some(sub_expr.clone())
} }
BudgetExpr::Or(_, (cond, payment)) if cond.is_satisfied(witness, from) => { BudgetExpr::Or(_, (cond, sub_expr)) if cond.is_satisfied(witness, from) => {
Some(BudgetExpr::Pay(payment.clone())) Some(sub_expr.clone())
} }
BudgetExpr::And(cond0, cond1, payment) => { BudgetExpr::And(cond0, cond1, sub_expr) => {
if cond0.is_satisfied(witness, from) { if cond0.is_satisfied(witness, from) {
Some(BudgetExpr::After(cond1.clone(), payment.clone())) Some(Box::new(BudgetExpr::After(cond1.clone(), sub_expr.clone())))
} else if cond1.is_satisfied(witness, from) { } else if cond1.is_satisfied(witness, from) {
Some(BudgetExpr::After(cond0.clone(), payment.clone())) Some(Box::new(BudgetExpr::After(cond0.clone(), sub_expr.clone())))
} else { } else {
None None
} }
@ -133,7 +144,7 @@ impl BudgetExpr {
_ => None, _ => None,
}; };
if let Some(expr) = new_expr { if let Some(expr) = new_expr {
mem::replace(self, expr); mem::replace(self, *expr);
} }
} }
} }
@ -229,4 +240,39 @@ mod tests {
expr.apply_witness(&Witness::Signature, &from0); expr.apply_witness(&Witness::Signature, &from0);
assert_eq!(expr, BudgetExpr::new_authorized_payment(from1, 42, to)); assert_eq!(expr, BudgetExpr::new_authorized_payment(from1, 42, to));
} }
#[test]
fn test_multisig_after_sig() {
let from0 = Keypair::new().pubkey();
let from1 = Keypair::new().pubkey();
let from2 = Keypair::new().pubkey();
let to = Pubkey::default();
let expr = BudgetExpr::new_2_2_multisig_payment(from0, from1, 42, to);
let mut expr = BudgetExpr::After(Condition::Signature(from2), Box::new(expr));
expr.apply_witness(&Witness::Signature, &from2);
expr.apply_witness(&Witness::Signature, &from0);
assert_eq!(expr, BudgetExpr::new_authorized_payment(from1, 42, to));
}
#[test]
fn test_multisig_after_ts() {
let from0 = Keypair::new().pubkey();
let from1 = Keypair::new().pubkey();
let dt = Utc.ymd(2014, 11, 11).and_hms(7, 7, 7);
let to = Pubkey::default();
let expr = BudgetExpr::new_2_2_multisig_payment(from0, from1, 42, to);
let mut expr = BudgetExpr::After(Condition::Timestamp(dt, from0), Box::new(expr));
expr.apply_witness(&Witness::Timestamp(dt), &from0);
assert_eq!(
expr,
BudgetExpr::new_2_2_multisig_payment(from0, from1, 42, to)
);
expr.apply_witness(&Witness::Signature, &from0);
assert_eq!(expr, BudgetExpr::new_authorized_payment(from1, 42, to));
}
} }

View File

@ -158,11 +158,20 @@ impl BudgetTransaction for Transaction {
) -> Self { ) -> Self {
let expr = if let Some(from) = cancelable { let expr = if let Some(from) = cancelable {
BudgetExpr::Or( BudgetExpr::Or(
(Condition::Timestamp(dt, dt_pubkey), Payment { tokens, to }), (
(Condition::Signature(from), Payment { tokens, to: from }), Condition::Timestamp(dt, dt_pubkey),
Box::new(BudgetExpr::new_payment(tokens, to)),
),
(
Condition::Signature(from),
Box::new(BudgetExpr::new_payment(tokens, from)),
),
) )
} else { } else {
BudgetExpr::After(Condition::Timestamp(dt, dt_pubkey), Payment { tokens, to }) BudgetExpr::After(
Condition::Timestamp(dt, dt_pubkey),
Box::new(BudgetExpr::new_payment(tokens, to)),
)
}; };
let instruction = Instruction::NewBudget(expr); let instruction = Instruction::NewBudget(expr);
Self::new( Self::new(
@ -186,11 +195,20 @@ impl BudgetTransaction for Transaction {
) -> Self { ) -> Self {
let expr = if let Some(from) = cancelable { let expr = if let Some(from) = cancelable {
BudgetExpr::Or( BudgetExpr::Or(
(Condition::Signature(witness), Payment { tokens, to }), (
(Condition::Signature(from), Payment { tokens, to: from }), Condition::Signature(witness),
Box::new(BudgetExpr::new_payment(tokens, to)),
),
(
Condition::Signature(from),
Box::new(BudgetExpr::new_payment(tokens, from)),
),
) )
} else { } else {
BudgetExpr::After(Condition::Signature(witness), Payment { tokens, to }) BudgetExpr::After(
Condition::Signature(witness),
Box::new(BudgetExpr::new_payment(tokens, to)),
)
}; };
let instruction = Instruction::NewBudget(expr); let instruction = Instruction::NewBudget(expr);
Self::new( Self::new(