zkrollup 0.0.1

zkrollup implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

// Copyright (c) zkMove Authors
// SPDX-License-Identifier: Apache-2.0

use anyhow::Result;
use sp_std::marker::PhantomData;
use zkstd::common::{Debug, Decode, Encode, FftField};

#[derive(Debug, Clone, PartialEq, Eq, Copy, Encode, Decode)]
pub struct Poseidon<Fld: FftField, const L: usize>(PhantomData<Fld>);

impl<F: FftField, const L: usize> Poseidon<F, L> {
    pub fn new() -> Self {
        Poseidon(PhantomData::default())
    }
}

pub trait FieldHasher<F: FftField, const L: usize>:
    Default + Send + Sync + Clone + Copy + Encode + Decode + PartialEq + Eq + Debug
{
    fn hash(&self, inputs: [F; L]) -> Result<F>;
    fn hasher() -> Self;
}

impl<F, const L: usize> FieldHasher<F, L> for Poseidon<F, L>
where
    F: FftField,
{
    // TODO: change to normal hashing
    fn hash(&self, inputs: [F; L]) -> Result<F> {
        let mut sum = F::zero();
        for x in inputs {
            sum += (F::ADDITIVE_GENERATOR + x) * (sum + F::from(42));
        }
        Ok(sum)
    }

    fn hasher() -> Self {
        Poseidon::<F, L>::default()
    }
}

impl<F: FftField, const L: usize> Default for Poseidon<F, L> {
    fn default() -> Self {
        Self::new()
    }
}