Cirkit
bn254
bls12-381
Circuit Interface
Public Input
External public source
Private Input
Secret witness source
Output
Result
Constant
Fixed value
Tools
Draw Area
Create custom section
Operations
add
Add two field elements
2 inputs • 1 output
sub
Subtract two field elements (a - b)
2 inputs • 1 output
mul
Multiply two field elements
2 inputs • 1 output
div
Divide two field elements (a / b)
2 inputs • 1 output
mod
Modulo operation (a % b)
2 inputs • 1 output
neg
Negate a field element (0 - a)
1 input • 1 output
core.select
Select a or b based on condition (cond ? a : b)
3 inputs • 1 output
hash.poseidon
Poseidon hash function
1 input • 1 output
bit.num_to_bits
Convert number to bits array
1 input • 1 output
bit.bits_to_num
Convert bits array to number
1 input • 1 output
cmp.lt_u
Unsigned less-than comparison (a < b)
2 inputs • 1 output
cmp.lte_u
Unsigned less-than-or-equal comparison (a <= b)
2 inputs • 1 output
cmp.gt_u
Unsigned greater-than comparison (a > b)
2 inputs • 1 output
cmp.gte_u
Unsigned greater-than-or-equal comparison (a >= b)
2 inputs • 1 output
cmp.lt_s
Signed less-than comparison (a < b)
2 inputs • 1 output
cmp.lte_s
Signed less-than-or-equal comparison (a <= b)
2 inputs • 1 output
cmp.gt_s
Signed greater-than comparison (a > b)
2 inputs • 1 output
cmp.gte_s
Signed greater-than-or-equal comparison (a >= b)
2 inputs • 1 output
cmp.eq
Equality comparison (a == b)
2 inputs • 1 output
cmp.neq
Inequality comparison (a != b)
2 inputs • 1 output
merkle.verify
Verify Merkle proof using Poseidon
4 inputs • 1 output
Assertions
assert.eq
Assert that two field elements are equal
2 inputs • Constraint
assert.bool
Assert that value is boolean (0 or 1)
1 input • Constraint
Parameters
No parameters defined
View:
All
Inputs
Operations
Outputs
Inputs + Operations
Operations + Outputs
React Flow mini map
React Flow
Press enter or space to select a node.You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.