noir icon indicating copy to clipboard operation
noir copied to clipboard

Published 20 hours ago • verified publisher icon noir-lang

Bring nested recursion example into noir-lang/noir

Open Savio-Sou opened this issue 1 year ago • 6 comments 

### Prerequisites
- [ ] https://github.com/AztecProtocol/dev-rel/pull/207

Savio-Sou avatar Feb 22 '24 16:02 Savio-Sou

Details from Tom:

  • [x] A top-level examples would also be fine for now (later docs/examples with docs moved to docs/site)
  • [x] Remove use of codegen command
  • [x] We'll need to have them pull the dependencies from the workspace rather than being fixed to a particular npm version.
    • If we're referencing the package.json in the docs then we're going to need to swap out the dependencies for the npm versions when pushing a new release.
  • [x] We're going to need to run these as part of CI so we can enforce that the code still works and we can fix as needed.

jzaki avatar Apr 29 '24 16:04 jzaki

Following https://github.com/noir-lang/noir/pull/5072, proving and verification workflow would be scoped out of NoirJS.

The PR includes updates to the doc page. Commenting here for @noir-lang/developerrelations and readers' awareness in case it leads to changes to existing / planned works with respect to this Issue.

Savio-Sou avatar May 23 '24 19:05 Savio-Sou

if not done by the end of the week, moving to blocked

critesjosh avatar Jun 18 '24 14:06 critesjosh

Yeah, issue relayed again to Noir team. Now blocked until workaround/fix found.

jzaki avatar Jun 20 '24 13:06 jzaki

@jzaki could you link me to the relevant noir-lang/noir or AztecProtocol/aztec-packages Issue?

Savio-Sou avatar Jun 20 '24 14:06 Savio-Sou

Okay, with a little tip form Tom, I did get it to pass, but by doing something that seems wrong and different to between what nargo returns and bb expects between binary vs js. I'll check with Tom this morning and create an issue for the lack of intuition on the .js side to document, or an issue for the .js side to be aligned with the binaries' way.

jzaki avatar Jun 21 '24 06:06 jzaki

Added two benchmark circuits from Savio, 2^17 succeeds, 2^18 fails. The recursion test is skipped. PR here

Once 2^18 works again, the skipped recursion tests should readily be made to pass again, so can unskip it and remove the benchmark tests.

jzaki avatar Jul 22 '24 11:07 jzaki

Thanks @jzaki.

2^18 fails

If you have time it might be good to file an Issue for it in https://github.com/AztecProtocol/aztec-packages.

Savio-Sou avatar Jul 22 '24 15:07 Savio-Sou