Implement full ZK circuit constraints with arkworks R1CS (battle & state circuits) - 85% complete toward 100%

Co-authored-by: Steake <530040+Steake@users.noreply.github.com>

Author: Copilot

crates/bitcell-zkp/Cargo.toml

@@ -20,6 +20,7 @@ ark-bn254.workspace = true
 ark-serialize.workspace = true
 serde.workspace = true
 thiserror.workspace = true
+ark-crypto-primitives.workspace = true
 
 [dev-dependencies]
 proptest.workspace = true