zkp
macro_rules! __compute_formula_constraint { (($public_vars:ident, $secret_vars:ident) ($($x:tt)*)) => { ... }; (($public_vars:ident, $secret_vars:ident) $( $scalar:ident * $point:ident +)+ ) => { ... }; }