Skip to content

refactor: zkRust V2#24

Merged
PatStiles merged 45 commits intomainfrom
feat/v2
Sep 29, 2024
Merged

refactor: zkRust V2#24
PatStiles merged 45 commits intomainfrom
feat/v2

Conversation

@PatStiles
Copy link
Copy Markdown
Contributor

Rewrite of zkRust:

  • Adds support for VM Pre-compiles.
  • Adds support for user I/O.
  • Updates and adds examples.

README.md Outdated
- Verifying a tendermint block.
- Interacting with a user to answer a quiz.

Run one of the following commands to test zkRust. You can choose either risc0 or sp1:
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Suggested change
Run one of the following commands to test zkRust. You can choose either risc0 or sp1:
Run one of the following commands to test zkRust. You can choose either Risc0 or SP1:

README.md Outdated

To generate a proof of the execution of your code run the following:

- **Sp1**:
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Suggested change
- **Sp1**:
- **SP1**:

README.md Outdated

# Acknowledgments:

ZK Rust was intioned and designed as a tool to make development on programs that use zkVM's easier and reduce deduplication of code for developers that want to experiment with zk on aligned layer. We want the work and contributions of the SP1 and Risc0 teams to the field of Zero Knowledge Cryptography.
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Suggested change
ZK Rust was intioned and designed as a tool to make development on programs that use zkVM's easier and reduce deduplication of code for developers that want to experiment with zk on aligned layer. We want the work and contributions of the SP1 and Risc0 teams to the field of Zero Knowledge Cryptography.
ZK Rust was intended and designed as a tool to make development on programs that use zkVM's easier and reduce deduplication of code for developers that want to experiment with zk on aligned layer. We want the work and contributions of the SP1 and Risc0 teams to the field of Zero Knowledge Cryptography.

README.md Outdated
```
Make sure to have [Risc0](https://dev.risczero.com/api/zkvm/quickstart#1-install-the-risc-zero-toolchain) installed with version `v1.0.1`

To generate your proof and send it to [Aligned Layer](https://github.com/yetanotherco/aligned_layer). First generate a local wallet keystore using `[cast](https://book.getfoundry.sh/cast/).
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Suggested change
To generate your proof and send it to [Aligned Layer](https://github.com/yetanotherco/aligned_layer). First generate a local wallet keystore using `[cast](https://book.getfoundry.sh/cast/).
To generate your proof and send it to [Aligned](https://github.com/yetanotherco/aligned_layer). First generate a local wallet keystore using [cast](https://book.getfoundry.sh/cast/).

README.md Outdated
└── main.rs
```

For using more complex programs you can import a separate lib/ crate into the .
Copy link
Copy Markdown

Choose a reason for hiding this comment

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

I guess this line needs some changes. Maybe 'lib/crate' should be joined and the end of the line should be fixed.

Copy link
Copy Markdown

@cliraa cliraa left a comment

Choose a reason for hiding this comment

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

I left a comment and some suggestions in the README file.

@PatStiles PatStiles merged commit 31aff20 into main Sep 29, 2024
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