Merge remote-tracking branch 'origin' into refactor

This commit is contained in:
Ya-wen, Jeng 2025-01-31 22:10:25 +08:00
commit 5827cf9247

View File

@ -1,10 +1,29 @@
//! Rust bindings for rapidsnark proving.
//!
//! Prebuilt binaries are provided for the following platforms:
//! - aarch64-apple-ios
//! - aarch64-apple-ios-sim
//! - aarch64-apple-darwin
//! - x86_64-apple-ios
//! - x86_64
//! - aarch64
//!
//! If a specific target is not included the sysytem will fallback to
//! the generic architecture, which may cause problems. e.g. if you compile
//! for aarch64-linux-generic, the system will fallback to aarch64.
//!
use std::collections::HashMap;
use std::str::FromStr;
use anyhow::Result;
use num_bigint::BigInt;
/// A function that converts named inputs to a full witness. This should be generated using e.g.
/// [rust-witness](https://crates.io/crates/rust-witness).
pub type WtnsFn = fn(HashMap<String, Vec<BigInt>>) -> Vec<BigInt>;
/// A structure representing a proof and public signals.
#[derive(Debug)]
pub struct ProofResult {
pub proof: String,