@@ -123,51 +123,7 @@ equivalentRecord(Bigint256Bindings, wasm, {
123123} ) ;
124124
125125
126- equivalentRecord (
127- FqBindings as Omit <
128- typeof FqBindings ,
129- | 'caml_pasta_fq_copy'
130- | 'caml_pasta_fq_mut_add'
131- | 'caml_pasta_fq_mut_sub'
132- | 'caml_pasta_fq_mut_mul'
133- | 'caml_pasta_fq_mut_square'
134- > ,
135- wasm ,
136- {
137- caml_pasta_fq_size_in_bits : { from : [ ] , to : number } ,
138- caml_pasta_fq_size : { from : [ ] , to : fq } ,
139- caml_pasta_fq_add : { from : [ fq , fq ] , to : fq } ,
140- caml_pasta_fq_sub : { from : [ fq , fq ] , to : fq } ,
141- caml_pasta_fq_negate : { from : [ fq ] , to : fq } ,
142- caml_pasta_fq_mul : { from : [ fq , fq ] , to : fq } ,
143- caml_pasta_fq_div : { from : [ fq , fq ] , to : fq } ,
144- caml_pasta_fq_inv : { from : [ fq ] , to : option ( fq ) } ,
145- caml_pasta_fq_square : { from : [ fq ] , to : fq } ,
146- caml_pasta_fq_is_square : { from : [ fq ] , to : boolean } ,
147- caml_pasta_fq_sqrt : { from : [ fq ] , to : option ( fq ) } ,
148- caml_pasta_fq_of_int : { from : [ uint31 ] , to : fq } ,
149- caml_pasta_fq_to_string : { from : [ fq ] , to : decimalString } ,
150- caml_pasta_fq_of_string : { from : [ decimalString ] , to : fq } ,
151- caml_pasta_fq_print : undefined , // this would spam the console
152- // these aren't defined in Rust
153- // caml_pasta_fq_copy: { from: [fq, fq], to: unit },
154- // caml_pasta_fq_mut_add: { from: [fq, fq], to: unit },
155- // caml_pasta_fq_mut_sub: { from: [fq, fq], to: unit },
156- // caml_pasta_fq_mut_mul: { from: [fq, fq], to: unit },
157- // caml_pasta_fq_mut_square: { from: [fq], to: unit },
158- caml_pasta_fq_compare : { from : [ fq , fq ] , to : number } ,
159- caml_pasta_fq_equal : { from : [ fq , fq ] , to : boolean } ,
160- caml_pasta_fq_random : undefined , // random outputs won't match
161- caml_pasta_fq_rng : undefined , // random outputs won't match
162- caml_pasta_fq_to_bigint : { from : [ fq ] , to : bigint256 } ,
163- caml_pasta_fq_of_bigint : { from : [ bigint256 ] , to : fq } ,
164- caml_pasta_fq_two_adic_root_of_unity : { from : [ ] , to : fq } ,
165- caml_pasta_fq_domain_generator : { from : [ numberLessThan ( 32 ) ] , to : fq } ,
166- caml_pasta_fq_to_bytes : undefined , // not implemented
167- caml_pasta_fq_of_bytes : undefined , // not implemented
168- caml_pasta_fq_deep_copy : { from : [ fq ] , to : fq } ,
169- }
170- ) ;
126+
171127
172128// elliptic curve
173129
0 commit comments