logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-10 09:43:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #690 from mir-protocol/include_degree_in_circuit_digest

Browse Source 
Include degree in circuit digest
This commit is contained in:
Daniel Lubarov 2022-08-24 10:39:43 -07:00 committed by GitHub
commit 7144b1e08c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
plonky2/src/plonk/circuit_builder.rs
View File

@ -794,7 +794,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
// TODO: This should also include an encoding of gate constraints. // TODO: This should also include an encoding of gate constraints.
let circuit_digest_parts = [ let circuit_digest_parts = [
constants_sigmas_cap.flatten(), constants_sigmas_cap.flatten(),
vec![/* Add other circuit data here */], vec![
F::from_canonical_usize(degree_bits),
/* Add other circuit data here */
],
]; ];
let circuit_digest = C::Hasher::hash_no_pad(&circuit_digest_parts.concat()); let circuit_digest = C::Hasher::hash_no_pad(&circuit_digest_parts.concat());