fix skipLibCheck, add plonk optim check, formatting

[erhant]

• add skipLibCheck: true due to Mocha lib type error
• Resolves Prevent >1 optimization for PLONK #71 by setting optim to 1 for PLONK (see https://docs.circom.io/circom-language/circom-insight/simplification/ for why)
• Fix formatting within the merged Fix missing elements in fflonk calldata #72

@numtel can we decrease the number of hardhat libs added as dev dependency? do we really need all of them?

[erhant]

for example, do we really need typechain if we do ts-ignore anyways?

[numtel]

Good point, those were just what hardhat told me to install on the project init. I had removed the other files it generated but it very well could lose some of these dependencies. I'll take a look tonight and see which ones are required.

[numtel]

Well, it actually looks like hardhat will not run without the dependencies.

Running the tests with just hardhat and @nomicfoundation/hardhat-ethers gives me:

Error: Cannot find module '@nomicfoundation/hardhat-toolbox'

But if I just add that one package, it requests all the rest.

HardhatError: HH801: Plugin @nomicfoundation/hardhat-toolbox requires the following dependencies to be installed: @nomicfoundation/hardhat-chai-matchers, @nomicfoundation/hardhat-ignition-ethers, @nomicfoundation/hardhat-network-helpers, @nomicfoundation/hardhat-verify, @typechain/ethers-v6, @typechain/hardhat, hardhat-gas-reporter, solidity-coverage, typechain.

As far as using a different EVM test environment, Ganache could theoretically do the job with fewer dependencies but it's deprecated. Using hardhat seems simpler than integrating Foundry since that's not just an NPM install.

[erhant]

ah alright, thanks for investigating it 🙏🏻