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

Migrate project to hardhat and more... #45

Closed
wants to merge 16 commits into from
Closed

Migrate project to hardhat and more... #45

wants to merge 16 commits into from

Conversation

mariocao
Copy link
Member

@mariocao mariocao commented Oct 3, 2024

Motivation

Hardhat project was more convenient right now because we wanted to use some Openzeppelin libraries for Merkle proofs, which we are also going to use in other components.

Explanation of Changes

Several changes in 1 PR:

  • chore: migration to Hardhat
  • feat: add Secp256k1 batch prover
  • refactor: change to mixedCase format and block height type
  • chore: add hardhat config helpers (for having networks)
  • feat: add result prover
  • feat: add old prover contract
  • chore: add ignition module for deployment

Testing

  • Added tests for batch proofs and data result proofs

Related PRs and Issues

Closes #42 #43 #44

@mariocao mariocao force-pushed the hardhat branch 3 times, most recently from 415b8a4 to 6cd6ec3 Compare October 3, 2024 11:50
@mariocao
Copy link
Member Author

Superseded by #51

@mariocao mariocao closed this Oct 18, 2024
@mariocao mariocao deleted the hardhat branch November 27, 2024 14:54
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.

♻️ Rename field variables to mixedCase
1 participant