Merge pull request #12 from reilabs/wz/keccak256

[2/4 EIP 4844 in inserter circuit] prover: use Keccak256 implementation form Gnark
reilabs · Jun 20, 2024 · 9666200 · 9666200
2 parents ef17aaa + ba5cc6a
commit 9666200
Show file tree

Hide file tree

Showing 5 changed files with 108 additions and 476 deletions.
diff --git a/prover/deletion_circuit.go b/prover/deletion_circuit.go
@@ -49,7 +49,10 @@ func (circuit *DeletionMbuCircuit) Define(api frontend.API) error {
 	bits_post := abstractor.Call1(api, ToReducedBigEndian{Variable: circuit.PostRoot, Size: 256})
 	bits = append(bits, bits_post...)
 
-	hash := keccak.NewKeccak256(api, circuit.BatchSize*32+2*256, bits...)
+	hash, err := keccak.Keccak256(api, bits)
+	if err != nil {
+		return err
+	}
 	sum := abstractor.Call(api, FromBinaryBigEndian{Variable: hash})
 
 	// The same endianness conversion has been performed in the hash generation

diff --git a/prover/insertion_circuit.go b/prover/insertion_circuit.go
@@ -50,7 +50,10 @@ func (circuit *InsertionMbuCircuit) Define(api frontend.API) error {
 		bits = append(bits, bits_id...)
 	}
 
-	hash := keccak.NewKeccak256(api, (circuit.BatchSize+2)*256+32, bits...)
+	hash, err := keccak.Keccak256(api, bits)
+	if err != nil {
+		return err
+	}
 	sum := abstractor.Call(api, FromBinaryBigEndian{Variable: hash})
 
 	// The same endianness conversion has been performed in the hash generation

diff --git a/prover/keccak/constants.go b/prover/keccak/constants.go