You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
arnaucube a35228af97 Add code for checking the number of constraints of the 'naive' approach using non-native operations to compute the scalar multiplication. 11 months ago
..
circuits.rs Add code for checking the number of constraints of the 'naive' approach using non-native operations to compute the scalar multiplication. 11 months ago
lib.rs Add Sigmabus PoC implementation 1 year ago
sigmabus.rs Add Sigmabus PoC implementation 1 year ago
transcript.rs Add Sigmabus PoC implementation 1 year ago