Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Sync from noir #7134

Closed
wants to merge 36 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
36 commits
Select commit Hold shift + click to select a range
80ffe6d
[1 changes] fix: update `in_contract` flag before handling function m…
AztecBot Jun 20, 2024
9411e0a
chore: apply sync fixes
AztecBot Jun 20, 2024
c4bdf6c
updated cargo.lock
benesjan Jun 19, 2024
1296375
wrapping oracle in unconstrained func
benesjan Jun 19, 2024
3db7ef0
Merge branch 'master' into sync-noir
TomAFrench Jun 20, 2024
807f1f7
chore: update cargo.lock
TomAFrench Jun 20, 2024
ac8326d
chore: fix profiler build
TomAFrench Jun 20, 2024
35e3c22
chore: revert changes to macros
TomAFrench Jun 20, 2024
0a48f95
chore: fix import in test
TomAFrench Jun 20, 2024
d8fbb9e
chore: update yarn.lock
TomAFrench Jun 20, 2024
b200f3d
chore: update yarn.lock
TomAFrench Jun 20, 2024
f777a3d
chore: remove unwanted semicolon
TomAFrench Jun 20, 2024
baea08b
chore: add extra arg to backend.ts
TomAFrench Jun 20, 2024
40243e8
Merge branch 'master' into sync-noir
TomAFrench Jun 20, 2024
72502b7
chore: fix contract builds
TomAFrench Jun 20, 2024
bf0dc57
chore: disable check for abi attributes outside of contracts on structs
TomAFrench Jun 20, 2024
708c1bf
chore: fmt
TomAFrench Jun 20, 2024
d2b4529
chore: formatter
TomAFrench Jun 20, 2024
c403058
Merge branch 'master' into sync-noir
benesjan Jun 21, 2024
9601a7a
fix: correct aztec-packages types
TomAFrench Jun 21, 2024
19ffdb6
chore: restore honk proof test
TomAFrench Jun 21, 2024
3241404
chore: fmt
TomAFrench Jun 21, 2024
3c0a85a
Merge branch 'master' into sync-noir
TomAFrench Jun 21, 2024
ab9a480
chore: make `UnconstrainedContext::new` unconstrained
TomAFrench Jun 21, 2024
1f9130d
Merge branch 'master' into sync-noir
TomAFrench Jun 21, 2024
e39be3d
fix: do not emit brillig calls with a constant zero predicate
TomAFrench Jun 21, 2024
3feb8da
chore: fmt
TomAFrench Jun 21, 2024
e281009
chore: force usage of legacy codepath
TomAFrench Jun 21, 2024
b25223c
chore: fix
TomAFrench Jun 21, 2024
e1e7503
Merge branch 'master' into sync-noir
TomAFrench Jun 21, 2024
3c3161f
Merge branch 'master' into sync-noir
TomAFrench Jun 24, 2024
c6d55b5
chore: replace deps
TomAFrench Jun 24, 2024
c9dddbb
chore: force `chained_dep` into `PathKind::Dep`
TomAFrench Jun 24, 2024
b77204a
fix: apply pedersen separator correctly
TomAFrench Jun 24, 2024
180b49b
temp
TomAFrench Jun 24, 2024
b944c80
chore: manual sync
TomAFrench Jun 24, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .noir-sync-commit
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2e543b40eb83ef2080e4d8f870f525fadd631099
4c4ea2df0163d4989c922c6a1377e04c2cd0540c
20 changes: 10 additions & 10 deletions avm-transpiler/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion avm-transpiler/scripts/compile_then_transpile.sh
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ fi
shift # remove the compile arg so we can inject --show-artifact-paths

# Forward all arguments to nargo, tee output to console
artifacts_to_transpile=$($NARGO compile --show-artifact-paths $@ | tee /dev/tty | grep -oP 'Saved contract artifact to: \K.*')
artifacts_to_transpile=$($NARGO compile --use-legacy --show-artifact-paths $@ | tee /dev/tty | grep -oP 'Saved contract artifact to: \K.*')

# NOTE: the output that is teed to /dev/tty will normally not be redirectable by the caller.
# If the script is run via docker, however, the user will see this output on stdout and will be able to redirect.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ struct UnconstrainedContext {
}

impl UnconstrainedContext {
fn new() -> Self {
unconstrained fn new() -> Self {
// We could call these oracles on the getters instead of at creation, which makes sense given that they might
// not even be accessed. However any performance gains are minimal, and we'd rather fail early if a user
// incorrectly attempts to create an UnconstrainedContext in an environment in which these oracles are not
Expand Down
2 changes: 1 addition & 1 deletion noir-projects/noir-contracts/bootstrap.sh
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ fi

echo "Compiling contracts..."
NARGO=${NARGO:-../../noir/noir-repo/target/release/nargo}
$NARGO compile --silence-warnings
$NARGO compile --silence-warnings --use-legacy

echo "Transpiling contracts..."
scripts/transpile.sh
Original file line number Diff line number Diff line change
Expand Up @@ -3,18 +3,17 @@ mod dapp_payload;

contract AppSubscription {
use crate::{dapp_payload::DAppPayload, subscription_note::{SubscriptionNote, SUBSCRIPTION_NOTE_LEN}};
use dep::{
aztec::{
use aztec::{
prelude::{
AztecAddress, FunctionSelector, PrivateContext, NoteHeader, Map, PrivateMutable, PublicMutable,
SharedImmutable
},
encrypted_logs::encrypted_note_emission::encode_and_encrypt,
protocol_types::{traits::is_empty, grumpkin_point::GrumpkinPoint}
},
authwit::{auth_witness::get_auth_witness, auth::assert_current_call_valid_authwit},
gas_token::GasToken, token::Token
};
use authwit::{auth_witness::get_auth_witness, auth::assert_current_call_valid_authwit};
use gas_token::GasToken;
use token::Token;

#[aztec(storage)]
struct Storage {
Expand Down
2 changes: 1 addition & 1 deletion noir-projects/noir-protocol-circuits/bootstrap.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,4 @@ node ./index.js

echo "Compiling protocol circuits..."
NARGO=${NARGO:-../../noir/noir-repo/target/release/nargo}
$NARGO compile --silence-warnings
$NARGO compile --silence-warnings --use-legacy
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,8 @@ use crate::{
abis::{previous_rollup_data::PreviousRollupData, constant_rollup_data::ConstantRollupData},
components, root::{root_rollup_public_inputs::RootRollupPublicInputs}
};
use dep::{
std, parity_lib::{root::root_rollup_parity_input::RootRollupParityInput, ParityPublicInputs},
types::{
use parity_lib::{root::root_rollup_parity_input::RootRollupParityInput, ParityPublicInputs};
use types::{
abis::{append_only_tree_snapshot::AppendOnlyTreeSnapshot, nullifier_leaf_preimage::NullifierLeafPreimage},
constants::{
NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, L1_TO_L2_MSG_SUBTREE_HEIGHT,
Expand All @@ -13,7 +12,6 @@ use dep::{
header::Header, content_commitment::ContentCommitment,
merkle_tree::{append_only_tree, calculate_subtree_root, calculate_empty_tree_root},
state_reference::StateReference, traits::Empty
}
};

struct RootRollupInputs {
Expand Down
2 changes: 1 addition & 1 deletion noir/noir-repo/.aztec-sync-commit
Original file line number Diff line number Diff line change
@@ -1 +1 @@
58e15edf7fd3d32267b0aed883fc84f6cee327c9
12af650f0d27c37dca06bb329bf76a5574534d78
7 changes: 6 additions & 1 deletion noir/noir-repo/.github/scripts/cargo-binstall-install.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@
#!/usr/bin/env bash
set -eu

curl -L --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/cargo-bins/cargo-binstall/main/install-from-binstall-release.sh | bash
if [ command -v cargo-binstall &> /dev/null ]; then
cargo-binstall cargo-binstall -y
else
curl -L --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/cargo-bins/cargo-binstall/main/install-from-binstall-release.sh | bash
fi

4 changes: 2 additions & 2 deletions noir/noir-repo/.gitrepo
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
[subrepo]
remote = https://github.com/noir-lang/noir
branch = master
commit = a6016b46abf6da6de4566cf6d35a675d805dd9b5
parent = 6c7062443ae23cc75ac06b7ac1492d12f803d0e5
commit = f2f8ecc833d4725d0829f9c339389c90d1a4fbcd
parent = 180b49b51759eb0caf7f49efe3d4a2d54c43ae59
method = merge
cmdver = 0.4.6
4 changes: 2 additions & 2 deletions noir/noir-repo/.release-please-manifest.json
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{
".": "0.30.0",
"acvm-repo": "0.46.0"
".": "0.31.0",
"acvm-repo": "0.47.0"
}
Loading
Loading