Las
A zkApp might need to pay out funds to a user, but if the user has `receive != None`, it could get stuck. Allowing preconditions to specify permissions on the...
See - [DoS Vulnerability Mitigations in mip-zkapps.md](https://github.com/MinaProtocol/MIPs/blob/49a35e1408bbfabe1b45875e0b07b2e38daf6e11/MIPS/mip-zkapps.md#dos-vulnerability-mitigations) - https://github.com/MinaProtocol/mina/discussions/12000 for background. The whole reason for the existence of this is the (literally) dumb mempool, however, the mempool can be not...
It is vague on details and misleading at certain points, e.g. phrasing such as "Account A has granted a smart contract access to drain his funds" which isn't how it...
zkApp commands can currently fail and still take fees if the preconditions fail. This is to allow for a simplified mempool design that does not need to take into account...
It's desirable to allow other zkapps to read your state without needing a proof (which on L1 might not even be feasible because of account update limits), but setting `access...
`Pickles.compile` returns before finishing compilation. This is evident by the "Snarky's internal state has been clobbered" error, which happens I assume due to multiple circuits that use the impure interface...
Compilation stopped working on non-x86 platforms, I assume because the rocksdb in nixpkgs drifted too far away from what Mina expected, and the accidental ABI compatibility broke. This PR restores...
I couldn't find any on the [download page](https://download.servo.org/).