1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
use snarkvm_fields::Field;
use snarkvm_r1cs::{errors::SynthesisError, ConstraintSystem};
use std::borrow::Borrow;
pub trait AllocBytesGadget<V: ?Sized, F: Field>: Sized
where
V: Into<Option<Vec<u8>>>,
{
fn alloc_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError>;
fn alloc_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
Self::alloc_bytes(cs, f)
}
fn alloc_input_bytes<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError>;
fn alloc_input_bytes_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
Self::alloc_input_bytes(cs, f)
}
}
pub trait AllocGadget<V: ?Sized, F: Field>: Sized {
fn alloc_constant<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
_cs: CS,
_f: Fn,
) -> Result<Self, SynthesisError> {
unimplemented!()
}
fn alloc<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError>;
fn alloc_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
Self::alloc(cs, f)
}
fn alloc_input<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError>;
fn alloc_input_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
Self::alloc_input(cs, f)
}
}
impl<I, F: Field, A: AllocGadget<I, F>> AllocGadget<[I], F> for Vec<A> {
fn alloc<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<[I]>, CS: ConstraintSystem<F>>(
mut cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
let f = f()?;
let mut vec = Vec::with_capacity(f.borrow().len());
for (i, value) in f.borrow().iter().enumerate() {
vec.push(A::alloc(&mut cs.ns(|| format!("alloc_{}", i)), || Ok(value))?);
}
Ok(vec)
}
fn alloc_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<[I]>, CS: ConstraintSystem<F>>(
mut cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
let f = f()?;
let mut vec = Vec::with_capacity(f.borrow().len());
for (i, value) in f.borrow().iter().enumerate() {
vec.push(A::alloc_checked(&mut cs.ns(|| format!("alloc_checked_{}", i)), || {
Ok(value)
})?);
}
Ok(vec)
}
fn alloc_input<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<[I]>, CS: ConstraintSystem<F>>(
mut cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
let f = f()?;
let mut vec = Vec::with_capacity(f.borrow().len());
for (i, value) in f.borrow().iter().enumerate() {
vec.push(A::alloc_input(&mut cs.ns(|| format!("alloc_input_{}", i)), || {
Ok(value)
})?);
}
Ok(vec)
}
fn alloc_input_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<[I]>, CS: ConstraintSystem<F>>(
mut cs: CS,
f: Fn,
) -> Result<Self, SynthesisError> {
let f = f()?;
let mut vec = Vec::with_capacity(f.borrow().len());
for (i, value) in f.borrow().iter().enumerate() {
vec.push(A::alloc_input_checked(
&mut cs.ns(|| format!("alloc_input_checked_{}", i)),
|| Ok(value),
)?);
}
Ok(vec)
}
}