8000
Skip to content

Pull requests: HerodotusDev/integrity

New pull request New
Clear current search query, filters, and sorts
7 Open 117 Closed
7 Open 117 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Support for satellite and wrapped proofs for utility functions
#170 by fmkra Member was merged Sep 9, 2025 Loading…
Fix is_fact_hash_valid_with_security function
#169 by fmkra Member was merged Jul 10, 2025 Loading…
Implement mocked Fact Registry
#166 by fmkra Member was merged Mar 8, 2025 Loading…
Add fact hash calculation for wrapped proofs
#164 by petscheit Contributor was merged Sep 9, 2025 Loading…
:cairo version 2.9.1
#162 by michalpalkowski was closed Dec 2, 2024 Loading…
Add integrity to Scarb registry
#160 by fmkra Member was merged Nov 22, 2024 Loading…
opts fix
#159 by Okm165 Collaborator was merged Nov 14, 2024 Loading…
audit documentation Improvements or additions to documentation enhancement New feature or request
#158 by Okm165 Collaborator was merged Nov 1, 2024 Loading…
@Okm165
Export types with no features enables
#157 by fmkra Member was merged Nov 20, 2024 Loading…
4
Autogenerated script
#154 by fmkra Member was merged Sep 23, 2024 Loading…
1
ci fix bug Something isn't working
#153 by Okm165 Collaborator was merged Sep 19, 2024 Loading…
@Okm165
Proofs refactor enhancement New feature or request tests
#152 by Okm165 Collaborator was merged Sep 19, 2024 Loading…
@Okm165
2
Verifier settings instead of features
#151 by fmkra Member was merged Sep 13, 2024 Loading…
Autogenerated split missing layouts Cairo enhancement New feature or request
#150 by Okm165 Collaborator was merged Sep 13, 2024 Loading…
@Okm165
1
optimize the auto-generated of starknet layout
#149 by swift-hl was closed Nov 19, 2024 Loading…
3
Hasher and Stone features
#148 by Okm165 Collaborator was merged Sep 11, 2024 Loading…
@Okm165
1
contract split refactor
#147 by Okm165 Collaborator was merged Sep 10, 2024 Loading…
Split verifier documentation Improvements or additions to documentation enhancement New feature or request
#146 by fmkra Member was merged Sep 28, 2024 Loading…
parser standardized documentation Improvements or additions to documentation enhancement New feature or request
#144 by Okm165 Collaborator was merged Sep 9, 2024 Loading…
@Okm165
4
Dynamic layout stone6
#143 by Okm165 Collaborator was merged Sep 6, 2024 Loading…
@Okm165
2
Cairo v0.13.2a0 fixes Cairo enhancement New feature or request
#142 by Okm165 Collaborator was merged Sep 6, 2024 Loading…
@Okm165
2
cairo1 program hash fix bug Something isn't working enhancement New feature or request
#140 by Okm165 Collaborator was merged Aug 23, 2024 Loading…
@Okm165
Update Cairo and Scarb version to the latest 2.7.0 version
#139 by FilipLaurentiu was closed Nov 20, 2024 Loading…
1
Proxy Fact Registry
#138 by fmkra Member was closed Sep 11, 2024 • Draft
1
fix/ci bug Something isn't working enhancement New feature or request
#137 by Okm165 Collaborator was merged Jul 22, 2024 Loading…
@Okm165
ProTip! no:milestone will show everything without a milestone.
0