Merge pull request #930 from openmina/move-out-poseidon

Move poseidon code out of `ledger`

Author: sebastiencs

Cargo.lock

@@ -20,6 +20,7 @@ members = [
 
     "mina-p2p-messages",
     "ledger",
+    "poseidon",
 
     "tools/transport",
     "tools/bootstrap-sandbox",
@@ -42,14 +43,15 @@ indexing_slicing = "warn"
 
 [workspace.dependencies]
 mina-p2p-messages = { path = "mina-p2p-messages" }
+poseidon = { path = "poseidon" }
 ledger = { path = "ledger", package = "mina-tree" }
-mina-hasher = { git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7" }
-mina-signer = { git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7" }
-mina-curves = { git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7" }
-o1-utils = { git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7" }
-kimchi = { git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7" }
-mina-poseidon = {git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7"}
-poly-commitment = {git = "https://github.com/openmina/proof-systems", rev = "2fdb5a7"}
+mina-hasher = { git = "https://github.com/openmina/proof-systems", rev = "d0cd63b" }
+mina-signer = { git = "https://github.com/openmina/proof-systems", rev = "d0cd63b" }
+mina-curves = { git = "https://github.com/openmina/proof-systems", rev = "d0cd63b" }
+o1-utils = { git = "https://github.com/openmina/proof-systems", rev = "d0cd63b" }
+kimchi = { git = "https://github.com/openmina/proof-systems", rev = "d0cd63b" }
+mina-poseidon = {git = "https://github.com/openmina/proof-systems", rev = "d0cd63b"}
+poly-commitment = {git = "https://github.com/openmina/proof-systems", rev = "d0cd63b"}
 libp2p = { git = "https://github.com/openmina/rust-libp2p", rev = "5c44c7d9", default-features = false }
 vrf = { path = "vrf" }
 openmina-node-account = { path = "node/account" }

Cargo.toml

@@ -29,6 +29,7 @@ thiserror = "1.0.37"
 
 mina-hasher = { workspace = true }
 mina-p2p-messages = { workspace = true }
+poseidon = { workspace = true }
 hex = "0.4.3"
 ark-ff = { version = "0.3.0", features = [ "parallel", "asm", "std" ] }
 

core/Cargo.toml

@@ -1,4 +1,8 @@
 use once_cell::sync::OnceCell;
+use poseidon::hash::{
+    legacy,
+    params::{CODA_SIGNATURE, MAINNET_ZKAPP_BODY, MINA_SIGNATURE_MAINNET, TESTNET_ZKAPP_BODY},
+};
 
 use crate::constants::ConstraintConstants;
 
@@ -16,8 +20,9 @@ pub enum NetworkId {
 pub struct NetworkConfig {
     pub name: &'static str,
     pub network_id: NetworkId,
-    pub signature_prefix: &'static str,
-    pub account_update_hash_param: &'static str,
+    pub signature_prefix: &'static poseidon::hash::LazyParam,
+    pub legacy_signature_prefix: &'static poseidon::hash::LazyParam,
+    pub account_update_hash_param: &'static poseidon::hash::LazyParam,
     pub constraint_system_digests: &'static [[u8; 16]; 3],
     pub default_peers: Vec<&'static str>,
     pub circuits_config: &'static CircuitsConfig,
@@ -76,8 +81,9 @@ impl NetworkConfig {
         Self {
             name: mainnet::NAME,
             network_id: mainnet::NETWORK_ID,
-            signature_prefix: mainnet::SIGNATURE_PREFIX,
-            account_update_hash_param: mainnet::ACCOUNT_UPDATE_HASH_PARAM,
+            signature_prefix: &MINA_SIGNATURE_MAINNET,
+            legacy_signature_prefix: &legacy::params::MINA_SIGNATURE_MAINNET,
+            account_update_hash_param: &MAINNET_ZKAPP_BODY,
             constraint_system_digests: &mainnet::CONSTRAINT_SYSTEM_DIGESTS,
             default_peers: mainnet::default_peers(),
             circuits_config: &mainnet::CIRCUITS_CONFIG,
@@ -89,8 +95,9 @@ impl NetworkConfig {
         Self {
             name: devnet::NAME,
             network_id: devnet::NETWORK_ID,
-            signature_prefix: devnet::SIGNATURE_PREFIX,
-            account_update_hash_param: devnet::ACCOUNT_UPDATE_HASH_PARAM,
+            signature_prefix: &CODA_SIGNATURE,
+            legacy_signature_prefix: &legacy::params::CODA_SIGNATURE,
+            account_update_hash_param: &TESTNET_ZKAPP_BODY,
             constraint_system_digests: &devnet::CONSTRAINT_SYSTEM_DIGESTS,
             default_peers: devnet::default_peers(),
             circuits_config: &devnet::CIRCUITS_CONFIG,

core/src/network.rs

@@ -27,6 +27,7 @@ kimchi = { workspace = true }
 mina-poseidon = { workspace = true }
 poly-commitment = { workspace = true }
 juniper = { workspace = true }
+poseidon = { workspace = true }
 openmina-macros = { path = "../macros" }
 strum = "0.26.2"
 strum_macros = "0.26.4"