Skip to content

Conversation

@eigmax
Copy link
Member

@eigmax eigmax commented Dec 26, 2025

No description provided.

maradini77 and others added 8 commits December 26, 2025 08:49
* feat: add executor

* feat: add machine chip

* fix: air columns

* add more constraints

* feat: add or gate for precompile

* reshape precompile

* add divisor

* split ciphertext check into 4 invocations.

* fix precompile shape

* fix cargo fmt

* fix clippy

* fix fmt

* chore: change name of precompile.

* chore: rebase

* feat: auto find syscall number

* add global vars & chore air and executor

* resolve conflict.

* derive with default

* remove 1 column & add docs.

* feat: change columns.

* chore: change gate type id

* update constraints
* feat: add dvsnark feature

* feat: add dvsnark builder

* feat: add dir env

* feat: add store dir

* remove vk_hash for dvsnark proof

* cargo clippy & fmt
* cargo clippy & remove dead code

* remove: skip deferred proof verification.

* fmt fix
* fix: correct stateless prove_core doc reference (#392)

* fix(sdk): remove unnecessary clone in zkm_dump (#393)

* fix(zkvm): remove dead hash_input allocation in verify syscall (#395)

* docs: clarify Shape::new constructor comment (#394)

* docs: correct septic curve documentation comments (#396)

* fix: avoid extra allocation in ZKMPublicValues::raw

---------

Co-authored-by: ANtutov <tutovanton26@gmail.com>
Co-authored-by: Snezhkko <snezhkodaria38@gmail.com>
Co-authored-by: yyhrnk <yaroslavnerest@gmail.com>
Co-authored-by: sashass1315 <sashass1315@gmail.com>
Co-authored-by: VolodymyrBg <aqdrgg19@gmail.com>
* chore: generate new shapes

* fix: gpu compilation err

* chore: update vks
* add TestGroth16Main

* refactor code
@eigmax eigmax marked this pull request as ready for review January 14, 2026 14:49
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.

6 participants