-
Notifications
You must be signed in to change notification settings - Fork 38
Insights: starkware-libs/stwo-cairo
Overview
-
- 69 Merged pull requests
- 29 Open pull requests
- 3 Closed issues
- 0 New issues
Could not load contribution data
Please try again later
69 Pull requests merged by 14 people
-
add std feature to dev utild crate
#1003 merged
Jun 18, 2025 -
Add mul_by_r function
#970 merged
Jun 17, 2025 -
Store columns_by_log_size in MerkleVerifier.
#1006 merged
Jun 17, 2025 -
Add cfg(test) to line domain impl
#969 merged
Jun 17, 2025 -
Use a dict to sort the query indices.
#996 merged
Jun 16, 2025 -
Use lookup table for bit mask
#968 merged
Jun 16, 2025 -
verify json cli
#988 merged
Jun 16, 2025 -
Remove sort() and dedup() from verifier
#967 merged
Jun 16, 2025 -
Document and fix poseidon252 channel
#995 merged
Jun 16, 2025 -
Remove scarb default feature and remove generic from poseidon verifier
#994 merged
Jun 15, 2025 -
fix is_small_add
#989 merged
Jun 15, 2025 -
removed pcsconfig from verify args
#993 merged
Jun 15, 2025 -
audit fix
#990 merged
Jun 15, 2025 -
Use BoundedInt in draw_random_bytes
#992 merged
Jun 12, 2025 -
Use BoundedInt for mix_u64 when splitting to two u32
#973 merged
Jun 11, 2025 -
fixed build time issue
#986 merged
Jun 10, 2025 -
bump stwo
#985 merged
Jun 9, 2025 -
poseidon_verifier
#912 merged
Jun 9, 2025 -
In mix_felts, start packing from 1 and not 0, to avoid collisions
#981 merged
Jun 9, 2025 -
Ohadn/rangecheck split 8
#980 merged
Jun 9, 2025 -
split the rc_9_9 lookups in memory_id_to_big
#979 merged
Jun 9, 2025 -
implement the splitting of rc19 and rc9_9 into multiple relations
#976 merged
Jun 9, 2025 -
pad memory after split
#978 merged
Jun 9, 2025 -
Cairo-prove: add --proof-format cli option and support cairo-serde
#954 merged
Jun 8, 2025 -
overflow small values to big component
#975 merged < 8000 relative-time datetime="2025-06-08T10:22:56Z" class="no-wrap">Jun 8, 2025
-
dev-utils: extract method for serializing the proof to file
#955 merged
Jun 5, 2025 -
Ohad/split memory feature branch
#977 merged
Jun 5, 2025 -
memory split in cairo
#957 merged
Jun 5, 2025 -
memroy split in rust
#956 merged
Jun 5, 2025 -
added constraint test for memory id to big
#960 merged
Jun 5, 2025 -
bumped stwo version for parallel poseidon grind
#974 merged
Jun 4, 2025 -
removed u32ext impl
#961 merged
Jun 4, 2025 -
update call_opcode
#962 merged
Jun 4, 2025 -
make the adapter verify that next_ap passes rc27 in add_ap
#952 merged
Jun 4, 2025 -
Accumulate Poseidon relation uses
#951 merged
Jun 3, 2025 -
Accumulate Pedersen relation uses
#950 merged
Jun 3, 2025 -
Accumulate Blake relation uses
#949 merged
Jun 3, 2025 -
Replace range_check_vector with separate rcs
#881 merged
May 29, 2025 -
Bound the address_to_id component to 2**24, so that max address is 2**27-1
#959 merged
May 28, 2025 -
Bound the number of steps so ap doesn't overflow
#958 merged
May 28, 2025 -
Accumulate builtins relation uses
#948 merged
May 28, 2025 -
Add test for accumulate_relation_uses
#953 merged
May 28, 2025 -
Fix compilation bugs with poseidon252_verifier
#927 merged
May 27, 2025 -
Add accumulate relation uses to Cairo verifier. In addition, use it on opcodes claim
#947 merged
May 27, 2025 -
Update README.md
#946 merged
May 26, 2025 -
Add relation uses per row consts
#942 merged
May 26, 2025 -
add dev_utils craate and vm_adapter_prover binary
#909 merged
May 26, 2025 -
Small refactor
#941 merged
May 26, 2025 -
Utility function to generate preprocessed tree roots
#940 merged
May 25, 2025 -
Change the README towards EthPrague announcement
#938 merged
May 25, 2025 -
Shahars/test/pp tree check
#924 merged
May 25, 2025 -
cairo-prove
#928 merged
May 25, 2025 -
Change README wording
#920 merged
May 25, 2025 -
Fixed mock verifier
#891 merged
May 25, 2025 -
Change RelationUse uses type to u64
#935 merged
May 25, 2025 -
bump stwo
#936 merged
May 22, 2025 -
stack overflow quick fix
#932 merged
May 22, 2025 -
stwo bump
#930 merged
May 22, 2025 -
verbose relation use asser
#931 merged
May 22, 2025 -
Fix the change to chains intermediates (pr 856) in cairo
#925 merged
May 22, 2025 -
Remove range check 3,6
#889 merged
May 22, 2025 -
Update scarb version
#926 merged
May 22, 2025 -
take main context from outside
#922 merged
May 21, 2025 -
Remove Unused Imports
#911 merged
May 21, 2025 -
Prover-verifier e2e test.
#894 merged
May 21, 2025 -
Fix poseidon tests
#921 merged
May 19, 2025 -
Revert Moving Poseidon Tests
#917 merged
May 19, 2025 -
removed recursion bridge
#919 merged
May 19, 2025 -
removed unused test files
#918 merged
May 19, 2025
29 Pull requests opened by 10 people
-
audit day 2
#929 opened
May 22, 2025 -
add dev utils crate and vm_adapter_prover binary
#933 opened
May 22, 2025 -
Add relation use tracket in Cairo verifier
#943 opened
May 26, 2025 -
PR just to check if passes CI
#944 opened
May 26, 2025 -
Update stwo version
#964 opened
Jun 1, 2025 -
Update documentation for from_partial_evals
#965 opened
Jun 2, 2025 -
Remove unnecessary asserts in field implementations
#966 opened
Jun 2, 2025 -
split rcs
#971 opened
Jun 3, 2025 -
implement the splitting of rc19 and rc9_9 into multiple relations
#972 opened
Jun 4, 2025 -
Poseidon verifier
#982 opened
Jun 9, 2025 -
Added poseidon mix_u64 regression test.
#983 opened
Jun 9, 2025 -
Moved Poseidon regression to nightly.
#984 opened
Jun 9, 2025 -
wip
#987 opened
Jun 10, 2025 -
Rename prefix to suffix
#997 opened
Jun 16, 2025 -
change number of bytes from 64 to 36
#998 opened
Jun 16, 2025 -
change draw_felt/s to draw_secure_felt/s
#999 opened
Jun 16, 2025 -
changeinc_challenge to next_challenge
#1000 opened
Jun 16, 2025 -
add gitignore for cursor mcp
#1001 opened
Jun 16, 2025 -
delete "is_within_range" and fix check_next_ap_in_range
#1002 opened
Jun 16, 2025 -
Audit Day 2
#1004 opened
Jun 16, 2025 -
update the generic opcode to include rc27 of next_ap
#1005 opened
Jun 16, 2025 -
Reuse columns_by_log_size from MerkleVerifier.
#1007 opened
Jun 16, 2025 5404 -
Change Poseidon draw_felt252
#1008 opened
Jun 17, 2025 -
Use multi_pop_front in mix_felts.
#1009 opened
Jun 17, 2025 -
Add mix_felt252 for poseidon channel.
#1010 opened
Jun 17, 2025 -
Use cairofmt_skip to format long arrays.
#1011 opened
Jun 17, 2025 -
update add_mod_builtin according to the change in stwo-air-infra
#1012 opened
Jun 17, 2025 -
Match Poseidon's draw_felts() to Blake
#1013 opened
Jun 18, 2025 -
add check on all the ap's
#1014 opened
Jun 18, 2025
3 Issues closed by 1 person
-
Example uses no blake_compress_opcodes
#963 closed
Jun 15, 2025 -
the stwo cairo verifier is supposed to be proven with Stwo or Stone ? (or both) ?
#83 closed
Jun 15, 2025 -
unexpected use of paths specified in private-input.json
#337 closed
Jun 15, 2025