Skip to content
Merged
Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
ed3a886
feat(drive-abci): add shielded pool drive-abci integration
QuantumExplorer Mar 10, 2026
4e84d4f
fix(drive-abci): fix shielded test compilation and proof verification…
QuantumExplorer Mar 10, 2026
c9a74f7
chore(drive-abci): cargo fmt
QuantumExplorer Mar 10, 2026
cfa16af
refactor(drive): remove unused PenalizeShieldedPoolAction
QuantumExplorer Mar 10, 2026
1771400
fix(drive-abci): gate shielded basic_structure validation on platform…
QuantumExplorer Mar 10, 2026
75f5650
docs(drive-abci): explain why ShieldFromAssetLock skips early proof v…
QuantumExplorer Mar 10, 2026
c1de6f0
Merge branch 'v3.1-dev' into feat/zk-drive-abci
QuantumExplorer Mar 10, 2026
f104242
fix(drive-abci): audit fixes for shielded pool integration
QuantumExplorer Mar 10, 2026
fe0697e
fix(drive): adapt proof verification for shielded pool tree structure…
QuantumExplorer Mar 10, 2026
1486922
fix(drive-abci): address CodeRabbit review comments
QuantumExplorer Mar 10, 2026
db74541
refactor(drive): store anchors as key with O(1) lookup and dedicated …
QuantumExplorer Mar 10, 2026
b17ad9e
feat(drive): add anchors-by-height reverse index tree for pruning sup…
QuantumExplorer Mar 10, 2026
d1297b7
feat(drive-abci): prune shielded pool anchors older than 1000 blocks
QuantumExplorer Mar 11, 2026
22354c0
perf(drive-abci): only prune shielded anchors every 100 blocks
QuantumExplorer Mar 11, 2026
2b93bd4
fix(drive-abci): reject zero value_balance in shielded transfer and a…
QuantumExplorer Mar 11, 2026
1518d6a
docs(drive-abci): update audit findings statuses and clarify strategy…
QuantumExplorer Mar 11, 2026
738b243
fix(drive-abci): fix CI failures - formatting, clippy, and drive init…
QuantumExplorer Mar 11, 2026
5712538
refactor(drive-abci): rename err to consensus_error in transform_into…
QuantumExplorer Mar 11, 2026
e0a8c54
Merge branch 'v3.1-dev' into feat/zk-drive-abci
QuantumExplorer Mar 11, 2026
f7fb180
refactor(drive-abci): extract anchor pruning interval to version field
QuantumExplorer Mar 11, 2026
001b40f
Merge branch 'v3.1-dev' into feat/zk-drive-abci
QuantumExplorer Mar 12, 2026
5d1a593
refactor(drive): extract shielded pool GroveDB operations into Drive …
QuantumExplorer Mar 12, 2026
af1fb34
fix(wasm-dpp2): replace missing impl_wasm_conversions with impl_wasm_…
QuantumExplorer Mar 12, 2026
8e6764c
chore(drive-abci): comment out shielded strategy tests temporarily
QuantumExplorer Mar 12, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
61 changes: 49 additions & 12 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
Expand Up @@ -77,6 +77,18 @@ impl StateTransitionStructureValidation for ShieldTransitionV0 {
);
}

// amount must fit in i64 (Orchard protocol uses i64 internally for value_balance)
if self.amount > i64::MAX as u64 {
return SimpleConsensusValidationResult::new_with_error(
BasicError::ShieldedInvalidValueBalanceError(
ShieldedInvalidValueBalanceError::new(
"shield amount exceeds maximum allowed value".to_string(),
),
)
.into(),
);
}

// Proof must not be empty
let result = validate_proof_not_empty(&self.proof);
if !result.is_valid() {
Expand Down
Loading
Loading