George Agapov
George Agapov
Removes a submodule containing c-reference-signer. Part of this change was accidentally merged as part #15551 (taken from another PR #15510). Explain how you tested your changes: * delegation app compiles...
While the Protocol supports up to 100 field elements worth of events, actual limit in Berkeley is only `16`. This is due to bounded types [hard limit](https://github.com/MinaProtocol/mina/pull/14964/files#diff-a995bd64e3523d2403d4f4d6476ff71cd307c3f4c84eb5acc94b854f97441341R5). This limit is...
PR #15616 is going to fix ppx version tests' execution. However test `bad_version_syntax_missing_versioned` was commented out because it fails. Some more information in the [comment](https://github.com/MinaProtocol/mina/pull/15616#issuecomment-2100066966). After PR #15616 is merged,...
Merge from `compatible` to `develop`, no conflicts arose during merge
Existing test is really long to execute. On some machines it exceeds the limit of 60 minutes. With the reduced number of repetitions, testing is still performed, but it's ensured...
Re-implement the verify functions for both `Transaction_snark` and `Blockhain_snark` modules in the way that makes sure same code is used between new `verify` functions and `verify` provided by respective `Proof`...
Removes some code which was unused: * Function `Transaction_state.verify` * Function `Blockchain_state.verify` * Function `to_input` and module `Checked` from `Snarked_ledger_state.Statement.With_sok` Code was written but never used. More importantly, implementation of...
Problem: One of transitive dependencies that are brought by libp2p (though not activated in runtime) is hardcoded to fail compiling at Go1.21. This makes compiling from impure shell impossible. Solution:...
Explain your changes: * Add an `mina internal pre-verify-block` command to allow verification of proofs contained in a block (complete works, block's snark, zkapp proofs) * Allow the tool to...
Some hashes that are computed during staged ledger application are dependent only on a transaction itself. These hashes could be precomputed before staged ledger application, to minimize time of block...