Skip to content
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

ferret tests #247

Closed
wants to merge 45 commits into from
Closed

ferret tests #247

wants to merge 45 commits into from

Conversation

themighty1
Copy link
Collaborator

This PR adds a missing assert on a fn input and improves the tests.

sinui0 and others added 30 commits March 3, 2025 10:44
@sinui0
feat: lazy ot (#186)
638666f 
* feat: lazy ot

* remove ctx feature

* improve cot test

* improve tests
@sinui0
refactor: spawn threads in mt executor (#187)
a8925b8 
* refactor: spawn threads in mt executor

* chore: replace alloc and preprocess trait
@sinui0
feat: basic vm interface
706214c
@sinui0
feat: lazy ole and share conversion (#188)
9d5a4c1 
* feat: lazy ole and share conversion

* zero check

* argument doc
@th4s @sinui0
fix(share-conversion): broken features (#189)
6fe990d 
* fix(mpz-share-conversion): add missing module comment and fix dependencies

* Remove feature flag from test module

* Make test module not public.
@sinui0
refactor(common): replace Output associated type with generic (#190)
a09eb7c
@sinui0
feat: garble vm (#191)
19e5787 
* adjust block lsb and ops

* feat: garble vm

* fix test

* remove redundant test
@themighty1 @sinui0
docs: fix comments and grammar (#192)
9f4b33d
@themighty1 @sinui0
chore: comments (#193)
4b4e2cb
@th4s @sinui0
fix: deadlock for garble-vm (#197)
517cab1 
* fix(garble): do not hang when output is used as input

* fix(garble): fix hanging in preprocessing

* fix: adapt `is_committed` to consider complete outputs
@sinui0 @xiangxiecrypto
feat: quicksilver (#198)
a0d2558 
* feat: quicksilver

* fix bench

* error handling

* remove asserts

* rename variables in fold

Co-authored-by: Xiang Xie <xiexiangiscas@gmail.com>
@sinui0
fix: ideal functionality synchronization (#201)
0bc148f
@sinui0
fix: execute entire preprocessed callstack (#203)
838174a
@sinui0
refactor: add Callable trait and Vm supertrait (#204)
d0b927d
@sinui0
feat: vm error (#205)
7373137
@sinui0
refactor: add Send bound to Output
c935a56
@sinui0
refactor: relax Sized bound on extension traits
080bb25
@sinui0
refactor: concrete Context type (#206)
e91b8c7 
* refactor: concrete Context type

* add Execute to Vm trait
@sinui0
feat: OneTimePad (#207)
553f72a 
* feat: DecodeExt

* refactor to OTP instead of decoding

* remove sized bound

* fix input count
@sinui0
feat: Vector split_off (#211)
8e24955
@sinui0
fix(common): broken optional dependency (#212)
612c6cb
@sinui0
feat(vm): more execute methods (#213)
c615fe4
@sinui0
feat(common): task trait (#214)
8382d35
@sinui0
feat(memory-core): Array to Vector conversion (#215)
04535bb
@sinui0
feat(common): boxed method on Task (#216)
9948132
@sinui0
feat(common): try_join variants (#222)
18e0223
@sinui0
feat: shared RCOT (#220)
9d41eda 
* feat: shared RCOT

* remove barrier

* set alloc to 0 afterwards

* Revert "remove barrier"

This reverts commit b004c0b.

* Revert "set alloc to 0 afterwards"

This reverts commit d3d79f4.

* typo
@sinui0
refactor: odds and ends (#224)
73403ff
@sinui0
fix(garble): fix incorrect deserialize validation (#225)
3700481
@sinui0
fix(common): satisfy compiler by scoping mutex lock (#226)
028712f
sinui0 and others added 15 commits March 3, 2025 10:48
@sinui0
feat: ferret (#202)
da1f923 
* feat: ferret

* enforce shape of regular lpn params

* fix naming and comments

* typo

* move up vector truncate
@sinui0
fix(ot): fix ferret bounds (#227)
15f147e
@sinui0
fix(garble): flush io after sending gc (#228)
9fb527a
@th4s @sinui0
fix(lint): fix compile warnings
2a2c59d 
* chore: fix lints

* fix: add lto release profile to workspace
@th4s @sinui0
feat: add getters for keys/macs on zk prover/verifier
8b5a889 
* feat: add encoding trait for zk vm

* doc: add trait comment

* fix: remove trait and use methods instead

* fix: rename errors

* fix: return slice and implement for `Binary` only

* fix: improve error msg for verifier
@sinui0
chore: bump tlsn-utils
fa9527d
@themighty1 @sinui0
docs: clarifying comments (#235)
8138ee5
@yuroitaki @sinui0
fix(zk): add missing adjustment bits to transcript for Fiat-Shamir. (#…
b19e2cb 
…241)

* Add missing adjustment bits.

* Move hasher to mpz-zk.
@th4s @sinui0
Fix clippy lints (#231)
a5257ff 
* chore: please clippy

* add feedback

* add new feedback

---------

Co-authored-by: sinu.eth <65924192+sinui0@users.noreply.github.com>
@sinui0
chore: rustfmt
90a60ee
@sinui0
fix: return output in st case
9902187
@sinui0
chore: clippy
8d8f143
@sinui0
chore: rustfmt
76e9e82
@themighty1
add tests
05cbd6f
@themighty1
add assert
9f34cf8
@themighty1 themighty1 requested a review from th4s March 4, 2025 12:26
@th4s
Copy link
Member

th4s commented Mar 6, 2025

You probably want to rebase this and merge into dev instead of alpha.1.

sinui0
sinui0 approved these changes Mar 8, 2025
View reviewed changes
Copy link
Collaborator

@sinui0 sinui0 left a comment

Choose a reason for hiding this comment

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

lgtm modulo th4s comment

@themighty1 themighty1 changed the base branch from alpha.1 to dev March 10, 2025 08:11
This was referenced Mar 10, 2025
Closed
Merged
@themighty1
Copy link
Collaborator Author

closing in favor of #256

@themighty1 themighty1 closed this Mar 10, 2025
@sinui0 sinui0 deleted the ferret_tests branch March 10, 2025 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@th4s th4s th4s approved these changes

@sinui0 sinui0 sinui0 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
@themighty1 @th4s @sinui0 @yuroitaki