Subway2023

Results 37 issues of Subway2023

## Description mstore(add(mload(0x80), 0x20), xx) cause IR-based codegen execution revert. However, legacy codegen can execute successfully. ## Environment - Compiler version: 0.8.27 - Target EVM version (as per compiler settings):...

bug :bug:

## Description [14986](https://github.com/ethereum/solidity/issues/14986) indicates that when **--metadata-hash none** is added, the generated bytecode should not change. However, function-type variable assignment will cause storage changes. ## Environment - Compiler version: 0.8.27...

bug :bug:

## Environment - Compiler version: 0.8.27 - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): None - EVM execution environment / backend / blockchain...

bug :bug:

``` everdev se start AggregateError ```

I want to fuzz the TVM-Solidity-Compiler. Therefore, I need a VM execution environment that supports inputting the compiled program, the function to be called, and the parameters, and then executes...

[Bug report](https://github.com/nullity00/zk-security-reviews/blob/main/MACI/20210922%20Hashcloak%20audit%20report.pdf) says that in ResultCommitmentVerifier, the verification of currentTallyCommitment is skipped when processing the first batch. [Pull 277](https://github.com/privacy-scaling-explorations/maci/pull/277) also mentioned this bug. So my question is: how to exploit...

## Steps to Reproduce ``` cd circuits npm install npx jest __tests__/TallyVotes.test.ts ``` ## Failure Logs ``` /mnt/sdd1/sbw/circom/ZKAP_docker/sbwTest/benchmarks/maci-4892ada0dc7bcc2f7710aea917e309f1553317c5/circuits/node_modules/@zk-kit/poseidon-cipher/dist/index.js:9 import { Fr, r } from '@zk-kit/baby-jubjub'; ^^^^^^ SyntaxError: Cannot use import...