Skip to content

Pull requests: brevis-network/pico

New pull request New
13 Open 73 Closed
13 Open 73 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

[don't-merge] fix soundness and constraints for formal verification
#101 opened May 20, 2026 by eason1981 Contributor Loading…
1
fix: restore vk verification check in prove_evm
#100 opened Apr 24, 2026 by Ocheretovich Loading…
Create SECURITY.md for security policy
#95 opened Feb 18, 2026 by this-vishalsingh Loading…
docs: fix wrong formulation
#88 opened Dec 19, 2025 by letmehateu Loading…
[WIP] feat: add simple evaluation tests for RiscV chips
#87 opened Dec 18, 2025 by eason1981 Contributor • Draft
docs: cleaned up parenthesis style
#85 opened Dec 9, 2025 by mdqst Contributor Loading…
fix: update stdin builder API in fibonacci and tendermint examples
#84 opened Dec 9, 2025 by avorylli Loading…
1
fix: replace math.Pow with exact integer constants
#83 opened Dec 5, 2025 by DeVikingMark Loading…
fix(emulator): gate address snapshots to Simple mode
#82 opened Dec 3, 2025 by VolodymyrBg Loading…
fix: remove unused Vk variable from server
#63 opened Nov 4, 2025 by CreeptoGengar Loading…
feat: Implement prove_evm_with_deferred() method in Pico SDK To Generate EVM-friendly Aggregated Proofs
#60 opened Oct 31, 2025 by preston4896 Loading…
fix: avoid allocating new variable in exp_reverse_bits
#57 opened Oct 25, 2025 by berZKerk Loading…
fix: padding in Compress to match Convert and Combine
#38 opened Aug 8, 2025 by hexcow Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.