zcash/halo2

SHA256 usage. Result not match

liuxiaobleach opened this issue · 1 comments

liuxiaobleach commented

let test_input = [
BlockWord(Value::known(0b01100001011000100110001110000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000000000)),
BlockWord(Value::known(0b00000000000000000000000000011000)),
];
let out = Sha256::digest(table16_chip, layouter.namespace(|| "'abc'"), &test_input)?;
println!("{:?}", out);

liuxiaobleach commented

When run this case. The sha256 result is not correct?
finial [BlockWord(Value { inner: Some(1349398616) }), BlockWord(Value { inner: Some(3550093669) }), BlockWord(Value { inner: Some(80891244) }), BlockWord(Value { inner: Some(3093179625) }), BlockWord(Value { inner: Some(1593118500) }), BlockWord(Value { inner: Some(4212265488) }), BlockWord(Value { inner: Some(2492278198) }), BlockWord(Value { inner: Some(2518632596) })]

While "abc" sha256v should be ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad