[DO NOT MERGE] Update Native Kimchi with changes from Mesa#3546
Draft
querolita wants to merge 503 commits intonative/bump-basefrom
Draft
[DO NOT MERGE] Update Native Kimchi with changes from Mesa#3546querolita wants to merge 503 commits intonative/bump-basefrom
querolita wants to merge 503 commits intonative/bump-basefrom
Conversation
Add rustdoc documentation explaining: - FeatureFlags struct and its role in optimizing proof generation - How flags are automatically detected from circuit gates - Each gate flag with links to implementation details - LookupPatterns and LookupFeatures configuration
kimchi: document FeatureFlags and LookupFeatures
- Add prettier 3.8.0 for markdown formatting - Configure 80 character line width with prose wrapping - Add Makefile targets: check-format-md, format-md - Add CI job to verify markdown formatting on PRs
Apply prettier formatting to all markdown files: - Wrap prose at 80 characters - Consistent formatting across all documentation
The spec file was incorrectly formatted by prettier. Since this file is generated by cargo-spec, it should be excluded from prettier formatting (it's already in .prettierignore) and committed in its generated form.
Prettier converted asterisk (*) bullet points to hyphens (-), but the test alphas::tests::get_alphas_for_spec does an exact string match against the generated alpha powers description which uses asterisks.
The template file has exact string matching requirements from the test alphas::tests::get_alphas_for_spec which expects asterisk (*) bullet points, but prettier converts them to hyphens (-).
cargo-spec generates asterisk (*) bullet lists, but markdownlint expects dashes (-). Disable MD004 to allow the generated format.
Ci/prettier markdown check
This is used by GLV and by the gate EndoScalarMul
Make the inner field of ScalarChallenge private to enforce proper construction through the new() or from_limbs() methods. Add inner() method to access the wrapped value. Update all call sites to use inner() instead of direct field access.
Improve documentation poseidon crate and IPA
Bumps [actions/setup-node](https://github.com/actions/setup-node) from 4 to 6. - [Release notes](https://github.com/actions/setup-node/releases) - [Commits](actions/setup-node@v4...v6) --- updated-dependencies: - dependency-name: actions/setup-node dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
…ns/setup-node-6 build(deps): bump actions/setup-node from 4 to 6
It defers from other IPA implementation as we introduce the challenge polynomial.
Improve documentation about the challenge polynomial
Switch from crates.io cargo-spec to o1-labs fork main branch.
- Replace mdBook with Docusaurus 3.9.2 for documentation - Add KaTeX math support with custom macros - Add Mermaid diagram support - Convert admonish syntax to Docusaurus format - Move content from src/ to docs/ - Move images to static/img/ - Update specification Makefiles to output to docs/specs/ - Add Dependabot for npm dependency updates - Fix LaTeX: use aligned instead of align in $$ blocks - Fix Unicode en-dashes in math expressions - Remove DOCTYPE from SVG files for compatibility - Add proper frontmatter titles to files
[no-std]: internal-tracing
…dering deterministic lookup table ordering
Lookup selector polynomials fix with chunking
[no-std]: poly-commitment
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Fully remove Cairo gates
Co-authored-by: Martin Allen <31280145+martyall@users.noreply.github.com>
querolita
changed the title
This was referenced Mar 24, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This branch was created from
native/bump-base(which brings changes from v0.4.1 tonative/napi) merging the branch coming frommesa/pass-o1js-ci(updating with changes inmaster). Do not merge until Native KImchi is to be released after Mesa (and in particular, when those other branches are merged as well).proof-systems: #3546
mina: MinaProtocol/mina#18667
o1js: o1-labs/o1js#2823
Will close o1-labs/o1js#2794