spongefish 0.5.0

An implementation of the Fiat--Shamir transformation from Duplex Sponges.
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
47
48

//! Bindings to some popular libraries using zero-knowledge.

// arkworks-rs
#[cfg(feature = "ark-ec")]
pub mod ark_ec_impl;
#[cfg(feature = "ark-ff")]
pub mod ark_ff_impl;

// zkcrypto
#[cfg(feature = "bls12_381")]
pub mod bls12_381_impl;
#[cfg(feature = "curve25519-dalek")]
pub mod curve25519_dalek_impl;
#[cfg(feature = "p256")]
pub mod p256_impl;
#[cfg(feature = "k256")]
pub mod secp256k1_impl;

// Plonky3
#[cfg(feature = "p3-baby-bear")]
pub mod p3_baby_bear;
#[cfg(feature = "p3-koala-bear")]
pub mod p3_koala_bear;
#[cfg(feature = "p3-mersenne-31")]
pub mod p3_mersenne31;
#[cfg(feature = "risc0-zkp")]
pub mod risc0_zkp_impl;

// Buffer of 512-bytes, useful for decoding 256-bit scalars.
#[allow(dead_code)]
#[repr(C)]
pub struct Array64([u8; 64]);

impl Default for Array64 {
    fn default() -> Self {
        Self([0u8; 64])
    }
}

impl AsMut<[u8]> for Array64 {
    fn as_mut(&mut self) -> &mut [u8] {
        self.0.as_mut()
    }
}

// Integration tests
#[cfg(test)]
mod tests;