Functions — github.com/circify/circ

CodeHub MCPcopy Create free account

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 4 callersMethodzero_allocate

Allocate a new zero-initialized stack array. ## Parameters `size`: number of elements `addr_width`: number of bits in an index `val_width`: number o

src/circify/mem.rs:87

↓ 3 callersMethodadd_commitment

Make this list of variables a commitment.

src/ir/term/mod.rs:1726

↓ 3 callersMethodadd_constraint

(&mut self, lhs: Term, rhs: Term)

src/front/zsharpcurly/zvisit/zgenericinf.rs:57

↓ 3 callersMethodadd_constraint

(&mut self, lhs: Term, rhs: Term)

src/front/zsharp/zvisit/zgenericinf.rs:57

↓ 3 callersFunctionarray_elements

The elements in this array (select terms) as a vector.

src/ir/term/extras.rs:145

↓ 3 callersFunctionarray_or

( a: &'a Sort, ctx: &'static str, )

src/ir/term/ty.rs:603

↓ 3 callersMethodas_map

Unwrap the constituent sorts of this array, panicking otherwise.

src/ir/term/mod.rs:939

↓ 3 callersMethodas_pf_opt

Get the underlying prime field constant, if possible.

src/ir/term/mod.rs:1265

↓ 3 callersMethodas_term

src/ir/opt/flat.rs:35

↓ 3 callersMethodbimap

(&self, mut f: impl FnMut(Term, Term) -> Term, other: &Self)

src/ir/opt/tuple.rs:106

↓ 3 callersMethodbind

Takes bindings in order bound, and unbinds

src/ir/term/text/mod.rs:209

↓ 3 callersMethodbool2pf

(&self, t: Term)

src/ir/opt/mem/ram.rs:137

↓ 3 callersFunctioncanon_type

(ty: &ast::StructType<'ast>, zgen: &ZGen<'ast>)

src/front/zsharpcurly/zvisit/eqtype.rs:126

↓ 3 callersMethodcanon_type

shallow canonicalization: flatten down to the first Basic, Array, or non-alias Struct

src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:807

↓ 3 callersMethodcanon_type

shallow canonicalization: flatten down to the first Basic, Array, or non-alias Struct

src/front/zsharp/zvisit/zstmtwalker/mod.rs:719

↓ 3 callersMethodcanonicalize

Turn `child`, relative to `parent` (or to the standard libary!), into an absolute path.

src/front/zsharpcurly/parser.rs:58

↓ 3 callersMethodcanonicalize

Turn `child`, relative to `parent` (or to the standard libary!), into an absolute path.

src/front/zsharp/parser.rs:58

↓ 3 callersFunctioncheck

Run cargo check Parameters ---------- features : set of str set of features required

↓ 3 callersMethodcheck

Check value in-range (debug only)

circ_fields/src/int_field.rs:50

↓ 3 callersMethodcirc_store

(&self, i: AllocId, idx: Term, v: Term)

src/front/c/mod.rs:1346

↓ 3 callersMethodclone

circ_hc/src/raw/example_u8.rs:205

↓ 3 callersFunctioncond

(c: T, a: T, b: T)

src/front/zsharpcurly/term.rs:813

↓ 3 callersMethodcondition

(&mut self, c: &'ast ast::Condition)

src/front/datalog/mod.rs:141

↓ 3 callersMethodcondition

Get the current path condition

src/circify/mod.rs:676

↓ 3 callersMethodconst_id_

(&self, id: &ast::IdentifierExpression<'ast>)

src/front/zsharpcurly/zvisit/zgenericinf.rs:67

↓ 3 callersMethodconst_id_

(&self, id: &ast::IdentifierExpression<'ast>)

src/front/zsharp/zvisit/zgenericinf.rs:67

↓ 3 callersFunctionconst_value

src/front/zsharpcurly/term.rs:774

↓ 3 callersFunctionconst_value

src/front/zsharp/term.rs:786

↓ 3 callersMethodcvar_declare_init

(&self, name: String, ty: &Ty, val: T)

src/front/zsharpcurly/mod.rs:1834

↓ 3 callersMethodcvar_declare_init

(&self, name: String, ty: &Ty, val: T)

src/front/zsharp/mod.rs:1715

↓ 3 callersMethodcvar_lookup

(&self, name: &str)

src/front/zsharpcurly/mod.rs:1858

↓ 3 callersFunctiondecomposed_relu

examples/C/mpc/benchmarks/mnist/2pc_mnist.c:28

↓ 3 callersMethoddefault

src/front/zsharpcurly/term.rs:96

↓ 3 callersMethoddefault

src/front/zsharp/term.rs:84

↓ 3 callersFunctiondefault_field

src/front/zsharp/term.rs:59

↓ 3 callersMethoddowngrade

circ_hc/src/rc/example_u8.rs:251

↓ 3 callersMethodenter_condition

(&mut self, condition: Term)

src/circify/mod.rs:254

↓ 3 callersMethodenter_function

Attempt to enter a funciton. Returns `false` if doing so would violate the recursion limit.

src/front/datalog/mod.rs:55

↓ 3 callersFunctioneval_cached

Recursively the term `t`, using variable values in `h` and storing intermediate evaluations in the cache `vs`.

src/ir/term/eval.rs:16

↓ 3 callersMethodexit_condition

src/circify/mod.rs:263

↓ 3 callersMethodexit_function

(&mut self, name: &'ast str)

src/front/datalog/mod.rs:73

↓ 3 callersFunctionfixedpt_mul

examples/C/mpc/benchmarks/gauss/fixpoint.h:13

↓ 3 callersMethodforce_gc

circ_hc/src/raw/example_u8.rs:164

↓ 3 callersMethodforce_gc

circ_hc/src/raw/template.rs:164

↓ 3 callersFunctionfree_variables

Get all the free variables in this term

src/ir/term/extras.rs:89

↓ 3 callersMethodgen_assign

(&mut self, loc: CLoc, val: CTerm)

src/front/c/mod.rs:543

↓ 3 callersMethodgen_decl

(&mut self, decl: &Declaration)

src/front/c/mod.rs:984

↓ 3 callersMethodgen_lval

(&mut self, expr: &Expression)

src/front/c/mod.rs:497

↓ 3 callersMethodgenerics_stack_pop

src/front/zsharpcurly/mod.rs:806

↓ 3 callersMethodgenerics_stack_pop

src/front/zsharp/mod.rs:704

↓ 3 callersMethodget_derived_type

Function for getting base_type of an object (array, struct)

src/front/c/mod.rs:283

↓ 3 callersFunctionhaboeck_eval

(haystack: &[usize], needles: &[usize], counts: &[usize])

src/ir/term/ext/test.rs:147

↓ 3 callersMethodident

(&self, tt: &TokTree<'src>)

src/ir/term/text/mod.rs:642

↓ 3 callersFunctionidx_name

(struct_name: &str, idx: usize)

src/front/zsharpcurly/term.rs:1175

↓ 3 callersMethodinline_tag

If this field has an inline tag, get it.

circ_fields/src/lib.rs:87

↓ 3 callersMethodinner_ty

src/front/c/types.rs:197

↓ 3 callersMethodinsert_var

(&mut self, nm: &str, ty: ast::Type<'ast>)

src/front/zsharp/zvisit/zstmtwalker/mod.rs:704

↓ 3 callersFunctioninstall

Used for installing third party libraries Parameters ---------- features : set of str set of features required

↓ 3 callersMethodis_integer_type

src/front/c/types.rs:163

↓ 3 callersFunctionload_mode

Load mode from file

↓ 3 callersMethodloc

src/front/c/mod.rs:87

↓ 3 callersFunctionloc_store

(struct_tuple_: T, loc: &[ZAccess], val: T)

src/front/zsharpcurly/mod.rs:159

↓ 3 callersFunctionlookup

The implementation of Haboeck's lookup argument. Takes haystack, needles, and returns a term which should be asserted to ensure that each needle is i

src/ir/opt/mem/ram/checker/rom.rs:22

↓ 3 callersMethodlookup_type

(&self, id: &ast::IdentifierExpression<'ast>)

src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:753

↓ 3 callersMethodlookup_type

(&self, id: &ast::IdentifierExpression<'ast>)

src/front/zsharp/zvisit/zstmtwalker/mod.rs:665

↓ 3 callersFunctionmap_or

( a: &'a Sort, ctx: &'static str, )

src/ir/term/ty.rs:614

↓ 3 callersMethodmark_array_as_transcript

(&self, name: &str, array: T)

src/front/zsharp/mod.rs:2213

↓ 3 callersMethodmk_abs

(&self, name: &VarName)

src/circify/mod.rs:504

↓ 3 callersMethodmodulus_arc

circ_fields/src/lib.rs:107

↓ 3 callersFunctionname_from_expr

(expr: &Expression)

src/front/c/ast_utils.rs:46

↓ 3 callersMethodnew_input

Add a new input to the computation, visible to `party`, or public if `party` is [None].

src/ir/term/mod.rs:1715

↓ 3 callersMethodnew_input_from_meta

Add a new input to the computation.

src/ir/term/mod.rs:1744

↓ 3 callersMethodnext_time_term

src/ir/opt/mem/ram.rs:574

↓ 3 callersFunctionrandom

circ_fields/src/test.rs:94

↓ 3 callersMethodreturn_

Return (subject to the current path condition).

src/circify/mod.rs:706

↓ 3 callersMethods_type_

(&mut self, ss: &[Node<SpecifierQualifier>])

src/front/c/mod.rs:172

↓ 3 callersFunctionsha_rewrites

Detects common C-language SHA patterns and rewrites them.

src/ir/opt/sha.rs:8

↓ 3 callersMethodsigned_bits

circ_fields/src/lib.rs:264

↓ 3 callersMethodsimple_term

src/front/c/term.rs:77

↓ 3 callersMethodstats

Compute statistics for this computation.

src/ir/term/mod.rs:2199

↓ 3 callersFunctionswap

examples/C/mpc/benchmarks/gauss/2pc_gauss.c:69

↓ 3 callersMethodterms

Get all IR terms inside this value, as a list.

src/front/zsharpcurly/term.rs:134

↓ 3 callersMethodterms

Get all IR terms inside this value, as a list.

src/front/zsharp/term.rs:122

↓ 3 callersMethodto_field_tuple

(&self, c: &AccessCfg)

src/ir/opt/mem/ram.rs:452

↓ 3 callersFunctionu32_term

src/front/zsharpcurly/zvisit/zgenericinf.rs:452

↓ 3 callersFunctionu32_term

src/front/zsharp/zvisit/zgenericinf.rs:448

↓ 3 callersFunctionuint_to_bits

src/front/zsharpcurly/term.rs:1067

↓ 3 callersFunctionuint_to_bits

src/front/zsharp/term.rs:1057

↓ 3 callersFunctionuint_to_uint

(u: T, w: usize)

src/front/zsharpcurly/term.rs:1059

↓ 3 callersFunctionuint_to_uint

(u: T, w: usize)

src/front/zsharp/term.rs:1049

↓ 3 callersMethodunbind

Takes bindings in order bound, and unbinds

src/ir/term/text/mod.rs:200

↓ 3 callersMethodvisit

( &mut self, _computation: &mut Computation, orig: &Term, rewritten_children:

src/ir/opt/link.rs:70

↓ 3 callersMethodvisit_any_string

(&mut self, is: &mut ast::AnyString<'ast>)

src/front/zsharp/zvisit/zvmut.rs:57

↓ 3 callersMethodvisit_inline_struct_member

( &mut self, ism: &mut ast::InlineStructMember<'ast>, )

src/front/zsharpcurly/zvisit/zvmut.rs:416

↓ 3 callersMethodvisit_inline_struct_member

( &mut self, ism: &mut ast::InlineStructMember<'ast>, )

src/front/zsharp/zvisit/zvmut.rs:424

↓ 3 callersMethodvisit_raw_string

(&mut self, is: &mut ast::RawString<'ast>)

src/front/zsharpcurly/zvisit/zvmut.rs:57

↓ 3 callersFunctionz_bool_lit

src/front/zsharpcurly/term.rs:838

↓ 3 callersFunctionz_bool_lit

src/front/zsharp/term.rs:850

↓ 2 callersFunctionadd

(a: CTerm, b: CTerm)

src/front/c/term.rs:335

↓ 2 callersMethodapply

Apply this configuration to `data`. If `check` is true, check that the output is sorted, and print a message/panic if not.

circ_waksman/src/lib.rs:130

← previous next →301–400 of 2,442, ranked by callers