Skip to content

Conversation

@sai-deng
Copy link
Contributor

@sai-deng sai-deng commented Feb 6, 2026

No description provided.

Fixes several bugs found in example circuits:

- and.rs: Fix critical namespace collision where inner loop variable shadowed outer loop variable

- and.rs: Fix typo little indian -> little endian

- hashchain.rs: Fix incorrect cargo command in documentation

- hashchain.rs: Clarify comment about num_elts_per_step

- minroot.rs: Add robustness check for empty sequence

- minroot.rs: Simplify z_out assignment logic

- minroot.rs: Clarify mathematical notation in comment
@sai-deng
Copy link
Contributor Author

sai-deng commented Feb 6, 2026

@microsoft-github-policy-service agree

@srinathsetty srinathsetty merged commit f8be0af into microsoft:main Feb 6, 2026
10 checks passed
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