mirror of https://github.com/zcash/halo2.git
Merge pull request #207 from zcash/circuit_description_test
Add test against hardcoded pinned verification key
This commit is contained in:
commit
ff7343fe1a
|
@ -987,6 +987,17 @@ mod tests {
|
|||
.unzip();
|
||||
|
||||
let vk = VerifyingKey::build();
|
||||
|
||||
// Test that the pinned verification key (representing the circuit)
|
||||
// is as expected.
|
||||
{
|
||||
// panic!("{:#?}", vk.vk.pinned());
|
||||
assert_eq!(
|
||||
format!("{:#?}\n", vk.vk.pinned()),
|
||||
include_str!("circuit_description").replace("\r\n", "\n")
|
||||
);
|
||||
}
|
||||
|
||||
for (circuit, instance) in circuits.iter().zip(instances.iter()) {
|
||||
assert_eq!(
|
||||
MockProver::run(
|
||||
|
|
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue