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

Update circuit logic and readme #9

Merged
merged 3 commits into from
Jan 17, 2024
Merged

Conversation

ytham
Copy link
Collaborator

@ytham ytham commented Jan 16, 2024

  • Updates circuit logic to remove nondeterminism
  • Updates readme

@ytham ytham requested a review from yi-sun January 16, 2024 16:41
Copy link
Contributor

@yi-sun yi-sun left a comment

Choose a reason for hiding this comment

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

Just need to do the blockNumber validation in ZK too

@@ -29,10 +33,11 @@ export const circuit = async (inputs: CircuitInputs) => {
throw new Error("Block number must be greater than the number of samples times the spacing");
}

// Create an array of block numbers to sample from
Copy link
Contributor

Choose a reason for hiding this comment

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

We should also validate inputs.blockNumber.value() <= (samples * spacing) in ZK

Copy link
Contributor

@yi-sun yi-sun left a comment

Choose a reason for hiding this comment

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

LGTM

@yi-sun yi-sun merged commit 9a4d574 into staging Jan 17, 2024
1 check passed
@yi-sun yi-sun deleted the chore/update_circuit_logic branch January 17, 2024 02:03
yi-sun added a commit that referenced this pull request Jan 20, 2024
* New quickstart flow

* fix: foundry install -> forge install

* checkpoint

* feat: prototype test

* feat: checkpoint

* forge install: axiom-v2-contracts-working

* forge install: axiom-v2-contracts-working

v0.5.0-rc2

* feat: add first working prototype of AxiomTest

* forge install: axiom-v2-client

* feat: read AxiomTest from axiom-v2-client, add dependency

* chore: update for path change in axiom-v2-client

* chore: update axiom-v2-client version and paths

* feat: update to new v2-client

* feat: update imports

* feat: update for axiom-v2-client updates

* Update quickstart for new flow

* Update example client addr

* feat: reconcile directory structure

* chore: add Github CI

* feat: update README.md

* feat: update private key to Sepolia

* feat: update deploy script

* feat: get index.ts running

* merge

* fix: update remappings

* feat: merge

* chore: remove some references to Goerli

* Merge branch `test/compile` into `staging` (#8)

* WIP

* New flow

* Update example circuit

* update axiom-v2-client

* chore: turn on CI for staging

* Update circuit logic and readme (#9)

* Make circuit deterministic

* Update readme

* Add circuit block number check

* chore: update to latest version of axiom-v2-client (#10)

* fix foundry.toml (#11)

* chore: update to latest version of axiom-v2-client

* chore: add remappings to foundry.toml

* fix: keep opther remappings

* Use new client version (#14)

* Simplify circuit code and add callback target

* Update client version

* Update comments

* Update comments

* Use automatic gas detection

* Update to remove mock

* Update client package

* Update axiom-v2-client

* Remove args logging

* Remove mock

* Update circuit

* Remove unused input.json fileg (#15)

* Remove unused shell script (#16)

* feat: update for axiom-v2-client to axiom-v2-periphery renaming (#17)

* feat: remove axiom-v2-client

* forge install: axiom-v2-periphery

* feat: update for axiom-v2-client to axiom-v2-periphery renaming

---------

Co-authored-by: Yu Jiang Tham <[email protected]>
Co-authored-by: roshan <[email protected]>
Co-authored-by: Yu Jiang Tham <[email protected]>
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.

2 participants