feat: Sync from noir (#6986)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE chore: avoid `bn254_blackbox_solver` polluting feature flags (noir-lang/noir#5141) chore!: remove `distinct` keyword (noir-lang/noir#5219) feat: Sync from aztec-packages (noir-lang/noir#5222) chore: add some property tests to ACVM crates (noir-lang/noir#5215) chore: inline `FieldElement.is_negative` and document (noir-lang/noir#5214) chore!: remove `param_witnesses` and `return_witnesses` from ABI (noir-lang/noir#5154) chore: move implementation of bitwise operations into `blackbox_solver` (noir-lang/noir#5209) chore: remove stale comment (noir-lang/noir#5179) chore: make `nargo` crate and debug info generic (noir-lang/noir#5184) feat!: add session id to foreign call RPC requests (noir-lang/noir#5205) chore(docs): fix incorrect docs github link in footer (noir-lang/noir#5206) fix: error for allocate instructions in acir-gen (noir-lang/noir#5200) feat: Implement println in the comptime interpreter (noir-lang/noir#5197) chore(docs): Supplement Noir Debugger's dependency versions (noir-lang/noir#5199) chore(docs): Update docs homepage (noir-lang/noir#5198) chore: add more lints related to oracle calls (noir-lang/noir#5193) feat: standardize pedersen functions to return `EmbeddedCurvePoint` (noir-lang/noir#5190) END_COMMIT_OVERRIDE --------- Co-authored-by: Tom French <tom@tomfren.ch> Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com> Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>
AztecProtocol · Jun 14, 2024 · b94fce6 · b94fce6
1 parent 9f89f0e
commit b94fce6
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 31 deletions.
diff --git a/aztec/src/encrypted_logs.nr b/aztec/src/encrypted_logs.nr
@@ -2,4 +2,4 @@ mod header;
 mod incoming_body;
 mod outgoing_body;
 mod payload;
-mod encrypted_note_emission;
+mod encrypted_note_emission;
diff --git a/aztec/src/note.nr b/aztec/src/note.nr
@@ -6,4 +6,4 @@ mod note_header;
 mod note_interface;
 mod note_viewer_options;
 mod utils;
-mod note_emission;
+mod note_emission;
diff --git a/aztec/src/oracle/key_validation_request.nr b/aztec/src/oracle/key_validation_request.nr
@@ -4,7 +4,10 @@ use dep::protocol_types::{
 };
 
 #[oracle(getKeyValidationRequest)]
-unconstrained fn get_key_validation_request_oracle(_pk_m_hash: Field, _key_index: Field) -> [Field; KEY_VALIDATION_REQUEST_LENGTH] {}
+unconstrained fn get_key_validation_request_oracle(
+    _pk_m_hash: Field,
+    _key_index: Field
+) -> [Field; KEY_VALIDATION_REQUEST_LENGTH] {}
 
 unconstrained fn get_key_validation_request_internal(npk_m_hash: Field, key_index: Field) -> KeyValidationRequest {
     let result = get_key_validation_request_oracle(npk_m_hash, key_index);

diff --git a/aztec/src/oracle/logs.nr b/aztec/src/oracle/logs.nr
@@ -2,11 +2,7 @@ use dep::protocol_types::{address::AztecAddress, grumpkin_point::GrumpkinPoint};
 
 // = 480 + 32 * N bytes
 #[oracle(emitEncryptedNoteLog)]
-unconstrained fn emit_encrypted_note_log_oracle<M>(
-    _note_hash_counter: u32,
-    _encrypted_note: [u8; M],
-    _counter: u32
-) {}
+unconstrained fn emit_encrypted_note_log_oracle<M>(_note_hash_counter: u32, _encrypted_note: [u8; M], _counter: u32) {}
 
 unconstrained pub fn emit_encrypted_note_log<M>(
     note_hash_counter: u32,
@@ -17,12 +13,7 @@ unconstrained pub fn emit_encrypted_note_log<M>(
 }
 
 #[oracle(emitEncryptedEventLog)]
-unconstrained fn emit_encrypted_event_log_oracle<M>(
-    _contract_address: AztecAddress,
-    _randomness: Field,
-    _encrypted_event: [u8; M],
-    _counter: u32
-) {}
+unconstrained fn emit_encrypted_event_log_oracle<M>(_contract_address: AztecAddress, _randomness: Field, _encrypted_event: [u8; M], _counter: u32) {}
 
 unconstrained pub fn emit_encrypted_event_log<M>(
     contract_address: AztecAddress,
@@ -98,12 +89,7 @@ unconstrained pub fn compute_encrypted_event_log<N, M>(
 }
 
 #[oracle(emitUnencryptedLog)]
-unconstrained fn emit_unencrypted_log_oracle_private<T>(
-    _contract_address: AztecAddress,
-    _event_selector: Field,
-    _message: T,
-    _counter: u32
-) -> Field {}
+unconstrained fn emit_unencrypted_log_oracle_private<T>(_contract_address: AztecAddress, _event_selector: Field, _message: T, _counter: u32) -> Field {}
 
 unconstrained pub fn emit_unencrypted_log_private_internal<T>(
     contract_address: AztecAddress,
@@ -115,12 +101,7 @@ unconstrained pub fn emit_unencrypted_log_private_internal<T>(
 }
 
 #[oracle(emitContractClassUnencryptedLog)]
-unconstrained fn emit_contract_class_unencrypted_log_private<N>(
-    contract_address: AztecAddress,
-    event_selector: Field,
-    message: [Field; N],
-    counter: u32
-) -> Field {}
+unconstrained fn emit_contract_class_unencrypted_log_private<N>(contract_address: AztecAddress, event_selector: Field, message: [Field; N], counter: u32) -> Field {}
 
 unconstrained pub fn emit_contract_class_unencrypted_log_private_internal<N>(
     contract_address: AztecAddress,

diff --git a/aztec/src/oracle/notes.nr b/aztec/src/oracle/notes.nr
@@ -28,11 +28,7 @@ unconstrained pub fn notify_created_note<N>(
 }
 
 #[oracle(notifyNullifiedNote)]
-unconstrained fn notify_nullified_note_oracle<N>(
-    _nullifier: Field,
-    _inner_note_hash: Field,
-    _counter: u32
-) -> Field {}
+unconstrained fn notify_nullified_note_oracle<N>(_nullifier: Field, _inner_note_hash: Field, _counter: u32) -> Field {}
 
 unconstrained pub fn notify_nullified_note<N>(
     nullifier: Field,