feat: updating examples

[signorecello]

Description

Updates examples to noir version 0.19.4. It also gets rid of ethers on the only example where it was still needed: the recursive example.

Also moved to hardhat ESM.

Problem*

Mitigating potential drift between versions, namely regarding the flattenPublicInputs method.

[socket-security]

New, updated, and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Packages	Version	New capabilities	Transitives	Size	Publisher
@nomicfoundation/hardhat-viem	1.0.1	None	+4	97.6 MB	fvictorio
viem	1.15.1	None	+2	93.5 MB	jmoxey
@nomicfoundation/hardhat-network-helpers	1.0.1	None	+1	4.1 MB	fvictorio
@nomicfoundation/hardhat-verify	1.0.1	None	+1	4.24 MB	fvictorio
@noir-lang/types	0.16.0-37315f8.nightly...0.19.4	None	+1/-1	915 kB	noir-lang
@noir-lang/source-resolver	0.16.0-37315f8.nightly...0.19.4	None	+0/-0	7.87 kB	noir-lang
@noir-lang/noir_js	0.16.0-37315f8.nightly...0.19.4	None	+3/-3	4.32 MB	noir-lang
@noir-lang/backend_barretenberg	0.7.10-37315f8.nightly...0.19.4	None	+3/-3	33.9 MB	noir-lang
@noir-lang/noir_wasm	0.16.0-37315f8.nightly...0.19.4	None	+1/-1	17.4 MB	noir-lang
hardhat	2.18.1...2.19.2	environment	+0/-0	4 MB	fvictorio

🚮 Removed packages: @nomicfoundation/[email protected], @nomicfoundation/[email protected], @typechain/[email protected], @typechain/[email protected]

[critesjosh]

Looks like the recursion and stealthdrop READMEs need to be updated.

[critesjosh]

How long should generating the recursive proof take on the recursion example? It seems to hang and timeout EDIT: it just takes several minutes to generate and several more to verify

[signorecello]

This is terminally old, closing