Skip to content

No signature checks in speculative#7

Closed
zajko wants to merge 44 commits intodevfrom
no_signature_checks_in_speculative
Closed

No signature checks in speculative#7
zajko wants to merge 44 commits intodevfrom
no_signature_checks_in_speculative

Conversation

@zajko
Copy link
Owner

@zajko zajko commented Nov 13, 2025

Please consider the following when creating a PR:

  • Provide a useful description of this PR, suitably verbose, aimed at helping reviewers and contributors
  • Update all relevant changelogs
  • Provide a link to the GitHub issue relating to this PR
  • Identify if any downstream impact as in to, SDKs, SmartContracts etc

This will be an information set when the host will handle
discoverability data.
 Conflicts:
	Cargo.lock
	executor/wasm_common/Cargo.toml
	executor/wasm_common/src/keyspace.rs
	executor/wasm_host/src/host.rs
	executor/wasmer_backend/src/lib.rs
	smart_contracts/contracts/vm2/vm2-system-caller/build.rs
	smart_contracts/macros/src/lib.rs
	smart_contracts/sdk/src/casper.rs
	smart_contracts/sdk/src/casper/native.rs
	smart_contracts/sdk/src/collections/vector.rs
	smart_contracts/sdk/src/schema.rs
	smart_contracts/sdk_codegen/src/lib.rs
Relevant necessary information is taken from schema, and a bundle binary
is composed that contains only the necessary information for on-chain
discovery.
 Conflicts:
	Cargo.lock
	Cargo.toml
	executor/wasm/Cargo.toml
	executor/wasm/src/install.rs
	executor/wasm/src/lib.rs
	executor/wasm/tests/integration.rs
	executor/wasm_host/src/host.rs
	executor/wasm_interface/src/lib.rs
	executor/wasmer_backend/src/imports.rs
	executor/wasmer_backend/src/lib.rs
	smart_contracts/contracts/vm2/vm2-cep18/Cargo.toml
	smart_contracts/contracts/vm2/vm2-cep18/build.rs
	smart_contracts/contracts/vm2/vm2-cep18/src/lib.rs
	smart_contracts/contracts/vm2/vm2-escrow/Cargo.toml
	smart_contracts/contracts/vm2/vm2-faucet/Cargo.toml
	smart_contracts/contracts/vm2/vm2-flipper/Cargo.toml
	smart_contracts/contracts/vm2/vm2-harness/src/contracts/harness.rs
	smart_contracts/contracts/vm2/vm2-harness/src/main.rs
	smart_contracts/contracts/vm2/vm2-host/Cargo.toml
	smart_contracts/contracts/vm2/vm2-host/src/lib.rs
	smart_contracts/contracts/vm2/vm2-named-args/Cargo.toml
	smart_contracts/contracts/vm2/vm2-system-caller/src/lib.rs
	smart_contracts/contracts/vm2/vm2-upgradable-v2/Cargo.toml
	smart_contracts/contracts/vm2/vm2-upgradable/Cargo.toml
	smart_contracts/contracts/vm2/vm2-vm1-wrapper/Cargo.toml
	smart_contracts/sdk/src/collections/sorted_vector.rs
	smart_contracts/vm2/macros/src/lib.rs
	smart_contracts/vm2/sdk/Cargo.toml
	smart_contracts/vm2/sdk/src/abi.rs
	smart_contracts/vm2/sdk/src/abi/collector.rs
	smart_contracts/vm2/sdk/src/abi_generator.rs
	smart_contracts/vm2/sdk/src/build.rs
	smart_contracts/vm2/sdk/src/bundle.rs
	smart_contracts/vm2/sdk/src/casper.rs
	smart_contracts/vm2/sdk/src/casper/native.rs
	smart_contracts/vm2/sdk/src/collections/iterable_map.rs
	smart_contracts/vm2/sdk/src/collections/iterable_set.rs
	smart_contracts/vm2/sdk/src/collections/map.rs
	smart_contracts/vm2/sdk/src/collections/vector.rs
	smart_contracts/vm2/sdk/src/compat.rs
	smart_contracts/vm2/sdk/src/compat/types/cl_type.rs
	smart_contracts/vm2/sdk/src/compat/types/runtime_args.rs
	smart_contracts/vm2/sdk/src/lib.rs
	smart_contracts/vm2/sdk/src/prelude.rs
	smart_contracts/vm2/sdk/src/types.rs
	vm2-build-contracts.sh
It is hooked up and transaction acceptor validates that installer
requires bundle data field is present.
 Conflicts:
	Makefile
	executor/wasm/src/lib.rs
	vm2_cargo_casper/src/cli/build.rs
	vm2_cargo_casper/src/cli/build_schema.rs
	vm2_cargo_casper/src/main.rs
This bundle is made optional to make things consistent across install
transaction and wasm install.

Now, creating a smart contract from a wasm side goes through the same
path as the install transaction and therefore this commit unifies
install code paths to avoid reimplementing the same logic.
 Conflicts:
	executor/wasm/Cargo.toml
	executor/wasm/src/lib.rs
	executor/wasm_host/Cargo.toml
	executor/wasm_host/src/host/global_state.rs
	executor/wasm_interface/src/executor.rs
	executor/wasm_interface/src/install.rs
	node/src/components/contract_runtime/operations/wasm_v2_request.rs
	resources/local/chainspec.toml.in
	resources/production/chainspec.toml
@zajko zajko force-pushed the no_signature_checks_in_speculative branch 2 times, most recently from 6a01731 to 7047fde Compare November 14, 2025 15:26
mpapierski and others added 4 commits November 14, 2025 18:20
 Conflicts:
	execution_engine_testing/tests/src/test/explorer/faucet.rs
	executor/wasm_common/src/keyspace.rs
	executor/wasm_common/src/lib.rs
	executor/wasm_host/src/host/global_state.rs
	smart_contracts/contracts/vm2/vm2-cep18/src/lib.rs
	smart_contracts/contracts/vm2/vm2-harness/src/main.rs
	smart_contracts/contracts/vm2/vm2-host/src/lib.rs
	smart_contracts/vm2/macros/src/lib.rs
	smart_contracts/vm2/sdk/src/casper.rs
	smart_contracts/vm2/sdk/src/collections/map.rs
	smart_contracts/vm2/sdk/src/collections/set.rs
	smart_contracts/vm2/sdk/src/collections/vector.rs
	types/src/gens.rs
	types/src/key.rs
* speculative execution now has the ability to run V1 transactions
* speculative execution bypasses transaction acceptor
* speculative execution bypasses approvals verification (it still passes them to the VM runtime)
@zajko zajko force-pushed the no_signature_checks_in_speculative branch from 3d6958e to 73b6bac Compare November 18, 2025 10:52
@zajko zajko closed this Nov 18, 2025
zajko pushed a commit that referenced this pull request Dec 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants