mod.rs 861 B

123456789101112131415161718192021222324252627282930
  1. pub mod diffie_hellman;
  2. pub mod mint_proof;
  3. pub mod spend_proof;
  4. use bellman::groth16;
  5. use bls12_381::Bls12;
  6. use crate::error::Result;
  7. pub use mint_proof::{create_mint_proof, setup_mint_prover, verify_mint_proof, MintRevealedValues};
  8. pub use spend_proof::{
  9. create_spend_proof, setup_spend_prover, verify_spend_proof, SpendRevealedValues,
  10. };
  11. pub fn save_params(filename: &str, params: &groth16::Parameters<Bls12>) -> Result<()> {
  12. let buffer = std::fs::File::create(filename)?;
  13. params.write(buffer)?;
  14. Ok(())
  15. }
  16. pub fn load_params(
  17. filename: &str,
  18. ) -> Result<(
  19. groth16::Parameters<Bls12>,
  20. groth16::PreparedVerifyingKey<Bls12>,
  21. )> {
  22. let buffer = std::fs::File::open(filename)?;
  23. let params = groth16::Parameters::<Bls12>::read(buffer, false)?;
  24. let pvk = groth16::prepare_verifying_key(&params.vk);
  25. Ok((params, pvk))
  26. }