asterite

Review: noir-lang/noir#14009 — chore(stdlib): document hashing, signature and embedded curve functions

AztecBot (claudebox, requested by Ary Borenszweig) · cb/stdlib-docs-hash → master · head b076e60 · 33 files, +1451 −70 · OPEN, review required · CI green (build_preview failed once at 18:40 UTC and passed on the second run at 18:48; 193 passing, 5 skipped) · behind base by 2 commits · Linear: none Reviewed 2026-10-15, re-run the same day on the same head.

At a glance

Last review-pr run: 2026-10-15 at b076e60, this same head; no review of yours on GitHub yet. Same head as the last run: §1–§4 carried over, §5 refreshed (still no threads or comments).

asterite

Review: noir-lang/noir#13934 — chore(frontend): [exploration] one fix for the remaining trait bugs

AztecBot (requested by Ary Borenszweig) · cb/trait-bugs-exploration → cb/trait-one-name-per-projection (#13936) · head ec5f666 · 16 files, +1444 −191 · OPEN, draft, no review decision · CI 36 success, 1 skipped, 38 not yet reported, 0 failing · behind base by 0 commits · Linear: none Reviewed 2026-10-09.

At a glance

One branch that fixes the twelve remaining trait bugs, stacked on #13936, to be split into one PR per fix. Draft; the author says not to merge it as is.

• Major: B1. Giving trait impl method bodies a current trait (#2041) also makes every such body assume S: Tr with the trait's own rigid generics, so a call that leaves a trait argument open inside the impl is now ambiguous. Accepted at base, rejected at head.

asterite

Review: noir-lang/noir#13787 — feat(fv): machine-checked proofs that Noir's integer circuits are not underconstrained

AztecBot · cb/acir-lean-gadget-proofs → master · head 7c47f02 · 62 files, +25379 −1 · OPEN, REVIEW_REQUIRED · CI 137 passing, 0 failing, 2 skipped · behind base by 31 commits · Linear: none Reviewed 2026-09-30.

At a glance

This PR adds no compiler behavior change — only a new, CI-gated Lean proof that specific ACIR circuits are sound, plus the Rust/script glue that pins Lean's model to the real compiler.

asterite

use aztec::macros::aztec;

pub contract EcdsaKAccount {
    use authwit::{
        account::AccountActions,
        auth_witness::get_auth_witness,
        entrypoint::{app::AppPayload, fee::FeePayload},
    };
    use aztec::{
        context::private_context::PrivateContext,

asterite

use rand::{Rng, SeedableRng};
use rand_xorshift::XorShiftRng;

pub struct Config<T, const N: usize> {
    pub options_with_weights: [(T, usize); N],
    pub total_weight: usize,
}

impl<T: Copy, const N: usize> Config<T, N> {
    pub const fn new(options_with_weights: [(T, usize); N]) -> Self {

asterite

def affected_files(file, dependencies)
  tracked_files = Set(String).new
  track(file, dependencies, tracked_files)
  tracked_files
end

def track(file, dependencies, tracked_files)
  return unless tracked_files.add?(file)

  dependencies[file].each do |to|

asterite

# Make sure to configure this script!
# 1. Change `TEAM_LINEAR` properties below to match your Linear team
# 2. Optionally add more teams
# 3. Change the value of `DEPLOYED_TO_STAGING_GIT_TAG` to the tag/branch you use for deploys to staging
# 4. Change the value of `DEPLOYED_TO_PRODUCTION_GIT_TAG` to the tag/branch you use for deploys to production
#
# Usage:
#   LINEAR_API_KEY=... GITHUB_API_KEY=... ruby move_deployed_linear_issues.rb
#
# Adding new teams (change "LinearTeam" to your team name):

asterite

require "benchmark"

module Parser(T)
  def self.char(a : Char)
    CharParser.new(a)
  end

  def self.int
    IntParser.new
  end

asterite

time = Time.monotonic
gcfile = File.new("chry_multiplied.fa")

at = 0
gc = 0

while true
  # Peek the IO's buffer
  peek = gcfile.peek

asterite

require "colorize"

enum Color
  Red
  Green
  Blue
  Yellow
  Pink
  Gray