Skip to content

Implement Ixon datatypes and serialization in Rust #246

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 88 commits into from
Oct 28, 2025
Merged

Implement Ixon datatypes and serialization in Rust #246

merged 88 commits into from
Oct 28, 2025

Conversation

@johnchandlerburnham
Copy link
Member

@johnchandlerburnham johnchandlerburnham commented Oct 28, 2025

No description provided.

johnchandlerburnham and others added 30 commits March 15, 2025 18:56
@johnchandlerburnham
WIP: ix hash command
6e672dd
@johnchandlerburnham
make Proof serialize as an Ixon Const
8271d54
@johnchandlerburnham
broken: connect canonicalizer to Ix.Meta
d34dc40
@samuelburnham
fix: Nix devShell & light refactor (#55)
4b3cfbe
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-cli
216bee1
@johnchandlerburnham
ix store cli command
5938727
@johnchandlerburnham
WIP: store command and new IxM structure
52431bf
@johnchandlerburnham
megacommit implementing Ix commitment API
e6a212c
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-cli
63faf25
@johnchandlerburnham
fixup merge
35d1311
@johnchandlerburnham
fixup merge 2
685f565
@johnchandlerburnham
ix prove check command
93309c8
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-cli
c9b3565
@johnchandlerburnham
implement ix prove CLI and simplify metaprogramming
b90fd9b 
- CompileM is now persistent with the filemapped store
- constructing evaluation claims is done through MetaM rather than CompileM
- CLI now features the Prove command
@johnchandlerburnham
provecmd examples
221f352
@johnchandlerburnham
cleanup repo
5aa0fc4
@johnchandlerburnham
simplify ZKVoting example app
ed79280
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-cli
f8d7176
@johnchandlerburnham
remove IO from the compiler core
5e806e7
@johnchandlerburnham
add level params to Ix IR to support decompilation
37c5779
@johnchandlerburnham
refactor Ix IR to support decompilation
802650e
@johnchandlerburnham
implement decompilation mutdefs, compilation of mixed mutdefs, and te…
3de279e 
…sts for new mutdef format
@johnchandlerburnham
wip
e0973fe
@johnchandlerburnham
decompilation roundtrip of Ix get_env working
6bb0129
@johnchandlerburnham
WIP: new mutual definition changes
7e94095
@johnchandlerburnham
roundtrip compilation decompilation tests now passing
8322be7
@johnchandlerburnham
add count to roundtrip
347268b
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-tests
efd6dbe
@johnchandlerburnham
fixup merge
32f85d3
@johnchandlerburnham
fixup merge
7ebf0ee
@johnchandlerburnham
decompilation progress, but failing on _cstage2
cf72c4b
@johnchandlerburnham
preprocessing GroundM step, but CondenseM breaking
f5ac204
@johnchandlerburnham
fix CondenseM, GroundM breaking
e8454c4
@johnchandlerburnham
wip
b1559e4
@johnchandlerburnham
GroundM and CondenseM working
bf56368
@johnchandlerburnham
CompileM/DecompileM roundtrip provisionally working up to 5% of get_env!
e886d17
@johnchandlerburnham
wip
e8d9b6e
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-vm
03ab015
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ix-vm
dff99c9
@johnchandlerburnham
fixup for comments and clippy
d7405d1
@johnchandlerburnham
disable aiur benchmarks due to Ixon format change
9e5a66f
@johnchandlerburnham
xclippy warnings
be93efa
@johnchandlerburnham
disable Cli test suite
3c25eb2
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ixon-rs
1cb92b9
@johnchandlerburnham
metadata type
1f88638
@johnchandlerburnham
ixon serialization w/o testing
ef821df
@johnchandlerburnham
ixon serialization testing
ef21680
@johnchandlerburnham
Merge branch 'main' of github.com:argumentcomputer/ix into jcb/ixon-rs
df51972
arthurpaulino
arthurpaulino reviewed Oct 28, 2025
View reviewed changes
Copy link
Member

@arthurpaulino arthurpaulino left a comment

Choose a reason for hiding this comment

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

We should fully migrate to crate::lean::nat. Other than that, my comments are all about further cleanup.

@johnchandlerburnham
Copy link
Member Author

johnchandlerburnham commented Oct 28, 2025

We should fully migrate to crate::lean::nat. Other than that, my comments are all about further cleanup.

meta.rs was actually supposed to have been removed already, thanks for catching that

@johnchandlerburnham johnchandlerburnham merged commit 8686f81 into main Oct 28, 2025
20 checks passed
@johnchandlerburnham johnchandlerburnham deleted the jcb/ixon-rs branch October 28, 2025 23:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@arthurpaulino arthurpaulino arthurpaulino approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@johnchandlerburnham @arthurpaulino @samuelburnham