An open API service for providing issue and pull request metadata for open source projects.

GitHub / zeko-labs/zeko issues and pull requests

#348 - Lower the circuits size

Pull Request - State: closed - Opened by MartinOndejka 2 days ago

#347 - Add caching of ase proofs

Pull Request - State: closed - Opened by MartinOndejka 6 days ago

#346 - Fix CODEOWNERS file path in CONTRIBUTING.md

Pull Request - State: open - Opened by radik878 9 days ago

#345 - Forbid skipping of indices in account set

Pull Request - State: open - Opened by MartinOndejka 14 days ago

#344 - Fix actions fetching for o1js

Pull Request - State: open - Opened by MartinOndejka 20 days ago

#343 - Fix the commit extend

Pull Request - State: open - Opened by MartinOndejka 20 days ago

#342 - Fix possible deadlock

Pull Request - State: open - Opened by MartinOndejka 27 days ago

#341 - Extend validity of commits

Pull Request - State: closed - Opened by MartinOndejka 27 days ago

#339 - Fix folder timeouts

Pull Request - State: closed - Opened by MartinOndejka about 1 month ago

#338 - Split circuits config to for secrets

Pull Request - State: open - Opened by MartinOndejka about 1 month ago

#334 - Integrate bridging

Pull Request - State: open - Opened by MartinOndejka about 1 month ago

#333 - Fix prover load script

Pull Request - State: closed - Opened by MartinOndejka about 1 month ago

#332 - Add prover load test to the sequencer cli

Pull Request - State: closed - Opened by MartinOndejka about 2 months ago

#331 - Bridge tests

Pull Request - State: closed - Opened by MartinOndejka about 2 months ago

#330 - Fix the after-fork slots calculation in sequencer

Issue - State: open - Opened by MartinOndejka about 2 months ago

#328 - Implement slots into sequencer

Pull Request - State: closed - Opened by MartinOndejka about 2 months ago

#326 - Fix deadlock in sequencer committing

Pull Request - State: open - Opened by MartinOndejka 2 months ago

#324 - Fix fetching of actions

Pull Request - State: closed - Opened by MartinOndejka 2 months ago

#323 - Improve debugging of ases

Pull Request - State: open - Opened by MartinOndejka 2 months ago

#319 - Fix the gap between fee transfer and commit

Pull Request - State: closed - Opened by MartinOndejka 2 months ago

#318 - Fix inner sync

Pull Request - State: closed - Opened by MartinOndejka 2 months ago

#317 - Fix committing

Pull Request - State: closed - Opened by MartinOndejka 2 months ago

#316 - Our changes to upstream

Pull Request - State: closed - Opened by L-as 2 months ago - 1 comment

#315 - Return machine readable error if fee is too low

Pull Request - State: closed - Opened by MartinOndejka 2 months ago

#313 - Our changes to upstream

Pull Request - State: closed - Opened by L-as 3 months ago

#310 - Account for the current command in fee calculation

Pull Request - State: closed - Opened by MartinOndejka 3 months ago

#309 - Check if we're using if_ with incompatible typs

Issue - State: open - Opened by L-as 3 months ago
Labels: critical

#308 - Propagate the reason for failed account update

Pull Request - State: closed - Opened by MartinOndejka 3 months ago

#307 - Move is_compile_simple_real out of compile_simple.mli

Pull Request - State: open - Opened by L-as 3 months ago

#306 - Refactor committer

Pull Request - State: open - Opened by MartinOndejka 3 months ago

#305 - Calculate sequencer fees based on queue size

Pull Request - State: closed - Opened by MartinOndejka 4 months ago - 3 comments

#304 - Add content-type and content-length headers to the api

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#303 - Audit fixes round 2

Pull Request - State: open - Opened by L-as 4 months ago

#302 - Improve error handling in sequencer

Issue - State: open - Opened by MartinOndejka 4 months ago

#300 - Fix proving timeout

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#299 - Properly cleanup after sequencer test

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#298 - Don't commit unnecesarily

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#297 - Fix segfault in sequencer tests

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#296 - Refactor logging in sequencer

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#294 - compile_simple.real: Try to fix dummy proof generation

Pull Request - State: closed - Opened by L-as 4 months ago

#291 - Fix real proving

Pull Request - State: closed - Opened by L-as 4 months ago

#290 - compile_simple.fake: Verify custom gate constraints

Issue - State: open - Opened by L-as 4 months ago

#289 - Fix compile simple

Pull Request - State: open - Opened by L-as 4 months ago

#288 - Add sql db

Pull Request - State: closed - Opened by MartinOndejka 4 months ago

#287 - Attempt to fix bridge circuits

Pull Request - State: open - Opened by L-as 4 months ago

#284 - Fix basic test

Pull Request - State: open - Opened by L-as 4 months ago

#281 - Rejects transactions with insufficient fees

Issue - State: open - Opened by MartinOndejka 5 months ago
Labels: TestNet Public

#280 - Figure out better way to limit proving queue

Issue - State: open - Opened by MartinOndejka 5 months ago
Labels: TestNet Public

#279 - Fix assert_less_than proving

Issue - State: open - Opened by L-as 5 months ago

#278 - Make L1 circuits use L1 hashes

Issue - State: closed - Opened by L-as 5 months ago - 2 comments

#276 - Fix license mentioned in README to correct one

Pull Request - State: closed - Opened by L-as 5 months ago

#275 - Circuit fixes

Pull Request - State: closed - Opened by L-as 5 months ago

#274 - Support global_slot_since_genesis precondition and bubble it up

Issue - State: closed - Opened by L-as 5 months ago - 1 comment

#273 - New design integration

Pull Request - State: open - Opened by MartinOndejka 5 months ago

#272 - Revert "New design integration into the sequencer"

Pull Request - State: open - Opened by L-as 5 months ago

#270 - New design integration into the sequencer

Pull Request - State: open - Opened by MartinOndejka 5 months ago

#269 - The circuit work

Pull Request - State: closed - Opened by L-as 5 months ago

#268 - Add chunking to da sync

Pull Request - State: closed - Opened by MartinOndejka 5 months ago

#267 - Allow skipping verification of action state extension proofs

Issue - State: closed - Opened by MartinOndejka 6 months ago - 1 comment

#266 - Remove redundant account set witness in rule_signed_command

Issue - State: closed - Opened by MartinOndejka 6 months ago - 1 comment

#265 - Allow only payment signed command in circuit

Issue - State: open - Opened by MartinOndejka 6 months ago

#264 - test: create basic property test

Pull Request - State: open - Opened by Hebilicious 6 months ago

#263 - Accelerated Proving

Issue - State: open - Opened by linear[bot] 6 months ago - 1 comment

#262 - Zeko SDK

Issue - State: open - Opened by linear[bot] 6 months ago - 1 comment

#261 - Revert "Revert "tests""

Pull Request - State: open - Opened by L-as 7 months ago

#260 - Revert "tests"

Pull Request - State: open - Opened by L-as 7 months ago

#259 - New design integration into the sequencer

Pull Request - State: open - Opened by MartinOndejka 7 months ago

#258 - Include account set in DA

Issue - State: closed - Opened by L-as 7 months ago - 1 comment

#257 - Make invalid Zeko config

Issue - State: open - Opened by L-as 7 months ago

#256 - Change license

Pull Request - State: closed - Opened by L-as 8 months ago - 1 comment

#255 - Implement separate token owner for L1-side of bridge

Issue - State: open - Opened by L-as 8 months ago

#253 - Implement "access" rule for accounts

Issue - State: open - Opened by L-as 8 months ago

#252 - Fix incorrect constant in zeko_transaction_snark

Pull Request - State: closed - Opened by L-as 8 months ago

#251 - Fix MacOS Nix support

Issue - State: closed - Opened by L-as 8 months ago

#248 - Consider not using zkapp_command_logic

Pull Request - State: open - Opened by L-as 8 months ago

#247 - tests

Pull Request - State: closed - Opened by L-as 8 months ago

#246 - Minor fixes

Pull Request - State: closed - Opened by L-as 8 months ago

#245 - fix: darwin dependencies

Pull Request - State: open - Opened by Hebilicious 8 months ago

#243 - Minor clean ups post indexed

Pull Request - State: open - Opened by L-as 9 months ago

#242 - Indexed merkle tree

Pull Request - State: closed - Opened by L-as 9 months ago - 1 comment

#240 - Stop using built-in integers and floats everywhere

Issue - State: open - Opened by L-as 9 months ago

#239 - Add chunking to da sync

Pull Request - State: open - Opened by MartinOndejka 9 months ago

#238 - Merge upstream merge

Pull Request - State: closed - Opened by L-as 9 months ago

#237 - Merge upstream

Pull Request - State: closed - Opened by L-as 9 months ago

#236 - Keep track of next account in account db / ledger

Issue - State: open - Opened by L-as 9 months ago

#232 - Refactor da versioning

Pull Request - State: open - Opened by MartinOndejka 9 months ago

#231 - Cancel proving if client disconnects

Issue - State: open - Opened by MartinOndejka 9 months ago

#230 - Allow adding/removing holder accounts dynamically

Issue - State: open - Opened by L-as 9 months ago

#229 - Support dynamically adding and removing provers in sequencer

Pull Request - State: open - Opened by L-as 9 months ago

#228 - Reimplement circuit for user commands

Issue - State: open - Opened by L-as 9 months ago

#227 - Parallel proving of transactions

Pull Request - State: closed - Opened by MartinOndejka 10 months ago - 2 comments

#226 - Derive `fine`s automatically

Issue - State: open - Opened by L-as 10 months ago

#224 - Make sure rules don't use global mutable state by accident.

Issue - State: open - Opened by L-as 10 months ago
Labels: important, critical