José Pedro Sousa

`PoseidonHasher` is much slower than the equivalent `hash_2`

2

### Aim I'm trying to hash two values using poseidon: ```rust let mut hasher = PoseidonHasher::default(); pubkey_x.hash(&mut hasher); pubkey_y.hash(&mut hasher); let identity = hasher.finish(); assert(identity == pub_hash); ``` ### Expected...

Split backend_barretenberg into prover and verifier classes

2

### Problem Once upon a time, in PR #3322 , there was this comment: ``` // The "real" workflow will involve a prover and a verifier on different systems. //...

```[tasklist] ### Prerequisite - [ ] https://github.com/noir-lang/noir/issues/3450 ``` ### Problem Sometimes you'd want to actually load an external `verification_key` instead of initializing one from the circuit. For example, one could...

secp256r1 signature verification fails except if we use inputs from the e2e test

6

### Aim My goal is to prove an ECDSA signature on the secp256r1 curve verifies, with a circuit such as: ```rust use dep::std::ecdsa_secp256r1::verify_signature; fn main( pub_key_x: [u8; 32], pub_key_y: [u8;...

Follow-up to #234, I added a merkle tree membership circuit in Noir. I also refactored the LeanIMT tests just like I did for #234, featuring `poseidon`, `poseidon2` and `pedersen` hashes.

Rewriting the typescript page

1

closes noir-lang/book#19 noir-lang/docs#16 noir-lang/book#61 I refrained from writing a "tutorial", as I believe the blog should be the correct place for that. However, I'm considering adding the [Waldo Example](https://github.com/signorecello/waldo) for...

[This section](https://github.com/AztecProtocol/aztec-packages/pull/6177#discussion_r1595655198) was removed from the quickstart, to keep it lean. However this is an addressable concern and we should def pick it up maybe in "common errors" or a...

Tracking https://github.com/noir-lang/noir/issues/4806 I think we should expand a bit and make the whole section easier to understand. This would require some more understanding about how workspaces work, and etc.

Boxes EPIC

3

First of all, boxes are broken. Tests pass but running the frontend doesn't and the README is outdated. But we also don't know _what_ they are. Are they e2e tests?...