Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New Feature: "Contracts" => enable/disable contract integration tests #80

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

jonas089
Copy link

@jonas089 jonas089 commented Oct 9, 2024

This PR introduces a change that helps satisfy rust-analyzer when cloning the spectre repo and opening it in an IDE.
I introduce a dummy crate with a readme pointing to the real contracts crate and a feature that makes the dependency on contract integration tests optional.

I believe that this is an improvement to the workspace since we can't push the compiled binaries to GitHub and we want developers to be able to isolate and test / work on the ZK logic without having to bother setting up Smart Contracts / pulling in the external crate.

@nulltea agrees to my proposal which is why I have decided to create this PR. Please comment for suggestions and further improvements :).

@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

lightclient-circuits/vk.txt Outdated Show resolved Hide resolved
Cargo.toml Outdated Show resolved Hide resolved
lightclient-circuits/src/committee_update_circuit.rs Outdated Show resolved Hide resolved
@@ -0,0 +1 @@
// replace this crate with the actual contracts crate to run integration tests
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is this todo for next PR?

let vk: &VerifyingKey<G1Affine> = pk.get_vk();

let circuit_params = circuit.params();
//let vk_serialized = vk.to_bytes(halo2_base::halo2_proofs::SerdeFormat::RawBytes);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what about this commented code?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess PR is still WIP, lmk if so

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That was included by accident, I removed it now :).

@jonas089 jonas089 requested a review from nulltea October 18, 2024 20:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants