Skip to content

Instantly share code, notes, and snippets.

@learningalbert123
Created Nov 3, 2021
Embed
What would you like to do?
verify-trusted-setup
use ark_bls12_381::Fr;
use ark_ec::AffineCurve;
use prompt::{puzzle, welcome};
use std::str::FromStr;
use trusted_setup::data::puzzle_data;
use trusted_setup::PUZZLE_DESCRIPTION;
fn main() {
welcome();
puzzle(PUZZLE_DESCRIPTION);
let (_ts1, _ts2) = puzzle_data();
/* Your solution here! (s in decimal)*/
let s = Fr::from_str("114939083266787167213538091034071020048").unwrap();
assert_eq!(_ts1[0].mul(s), _ts1[1]);
assert_eq!(_ts2[0].mul(s), _ts2[1]);
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment