ark-r1cs-std

library0.6.0rscratesunverified

A standard library for constraint system gadgets

# Cargo.toml
[dependencies]
ark-r1cs-std = "0.6.0"

github ↗homepage ↗docs ↗

INSTALL

IMPORT

SIG · ARK-R1CS-STD

ark-r1cs-std

cryptorustv0.6.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

AllocVar

✓ use ark_r1cs_std::prelude::*;

Demonstrates creating a witness variable in a constraint system.

use ark_r1cs_std::prelude::*; use ark_relations::r1cs::{ConstraintSystem, SynthesisError}; fn main() -> Result<(), SynthesisError> { let cs = ConstraintSystem::new_ref(); let var = Boolean::new_witness(cs.clone(), || Ok(true))?; assert_eq!(var.value()?, true); Ok(()) }

Debug

Known issues

gotchaRequires pairing-friendly elliptic curve backend (e.g., ark-bls12-381) for full functionality.

fix

Add a curve crate like ark-bls12-381 and enable its r1cs feature.

affects: >=0.4.0

Upgrade

Version history

0.6.0latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

34 hits · last 30 days

node

Resources

githubhttps://github.com/arkworks-rs/r1cs-std ↗

homepagehttps://arkworks.rs ↗

docshttps://docs.rs/ark-r1cs-std/ ↗