ouroboros-leios - 29 commits this week

Home / Input Output / ouroboros-leios

Insights Pull Requests

Jun 28, 9-10 PM (0)

Jun 28, 10-11 PM (0)

Jun 28, 11-12 AM (0)

Jun 29, 12-1 AM (0)

Jun 29, 1-2 AM (0)

Jun 29, 2-3 AM (0)

Jun 29, 3-4 AM (0)

Jun 29, 4-5 AM (0)

Jun 29, 5-6 AM (0)

Jun 29, 6-7 AM (0)

Jun 29, 7-8 AM (0)

Jun 29, 8-9 AM (0)

Jun 29, 9-10 AM (0)

Jun 29, 10-11 AM (0)

Jun 29, 11-12 PM (0)

Jun 29, 12-1 PM (0)

Jun 29, 1-2 PM (1)

Jun 29, 2-3 PM (0)

Jun 29, 3-4 PM (0)

Jun 29, 4-5 PM (0)

Jun 29, 5-6 PM (0)

Jun 29, 6-7 PM (0)

Jun 29, 7-8 PM (0)

Jun 29, 8-9 PM (0)

Jun 29, 9-10 PM (0)

Jun 29, 10-11 PM (0)

Jun 29, 11-12 AM (0)

Jun 30, 12-1 AM (0)

Jun 30, 1-2 AM (0)

Jun 30, 2-3 AM (0)

Jun 30, 3-4 AM (0)

Jun 30, 4-5 AM (0)

Jun 30, 5-6 AM (0)

Jun 30, 6-7 AM (0)

Jun 30, 7-8 AM (0)

Jun 30, 8-9 AM (0)

Jun 30, 9-10 AM (0)

Jun 30, 10-11 AM (0)

Jun 30, 11-12 PM (0)

Jun 30, 12-1 PM (0)

Jun 30, 1-2 PM (0)

Jun 30, 2-3 PM (0)

Jun 30, 3-4 PM (2)

Jun 30, 4-5 PM (0)

Jun 30, 5-6 PM (0)

Jun 30, 6-7 PM (3)

Jun 30, 7-8 PM (0)

Jun 30, 8-9 PM (0)

Jun 30, 9-10 PM (0)

Jun 30, 10-11 PM (0)

Jun 30, 11-12 AM (0)

Jul 01, 12-1 AM (0)

Jul 01, 1-2 AM (0)

Jul 01, 2-3 AM (0)

Jul 01, 3-4 AM (0)

Jul 01, 4-5 AM (0)

Jul 01, 5-6 AM (0)

Jul 01, 6-7 AM (0)

Jul 01, 7-8 AM (0)

Jul 01, 8-9 AM (0)

Jul 01, 9-10 AM (0)

Jul 01, 10-11 AM (0)

Jul 01, 11-12 PM (0)

Jul 01, 12-1 PM (1)

Jul 01, 1-2 PM (0)

Jul 01, 2-3 PM (7)

Jul 01, 3-4 PM (0)

Jul 01, 4-5 PM (1)

Jul 01, 5-6 PM (0)

Jul 01, 6-7 PM (0)

Jul 01, 7-8 PM (1)

Jul 01, 8-9 PM (0)

Jul 01, 9-10 PM (0)

Jul 01, 10-11 PM (0)

Jul 01, 11-12 AM (0)

Jul 02, 12-1 AM (0)

Jul 02, 1-2 AM (0)

Jul 02, 2-3 AM (0)

Jul 02, 3-4 AM (0)

Jul 02, 4-5 AM (0)

Jul 02, 5-6 AM (0)

Jul 02, 6-7 AM (1)

Jul 02, 7-8 AM (1)

Jul 02, 8-9 AM (0)

Jul 02, 9-10 AM (0)

Jul 02, 10-11 AM (1)

Jul 02, 11-12 PM (0)

Jul 02, 12-1 PM (1)

Jul 02, 1-2 PM (0)

Jul 02, 2-3 PM (0)

Jul 02, 3-4 PM (0)

Jul 02, 4-5 PM (0)

Jul 02, 5-6 PM (0)

Jul 02, 6-7 PM (0)

Jul 02, 7-8 PM (0)

Jul 02, 8-9 PM (0)

Jul 02, 9-10 PM (0)

Jul 02, 10-11 PM (0)

Jul 02, 11-12 AM (0)

Jul 03, 12-1 AM (0)

Jul 03, 1-2 AM (0)

Jul 03, 2-3 AM (0)

Jul 03, 3-4 AM (0)

Jul 03, 4-5 AM (0)

Jul 03, 5-6 AM (0)

Jul 03, 6-7 AM (0)

Jul 03, 7-8 AM (0)

Jul 03, 8-9 AM (1)

Jul 03, 9-10 AM (0)

Jul 03, 10-11 AM (0)

Jul 03, 11-12 PM (0)

Jul 03, 12-1 PM (0)

Jul 03, 1-2 PM (0)

Jul 03, 2-3 PM (0)

Jul 03, 3-4 PM (0)

Jul 03, 4-5 PM (0)

Jul 03, 5-6 PM (1)

Jul 03, 6-7 PM (1)

Jul 03, 7-8 PM (0)

Jul 03, 8-9 PM (0)

Jul 03, 9-10 PM (0)

Jul 03, 10-11 PM (0)

Jul 03, 11-12 AM (0)

Jul 04, 12-1 AM (0)

Jul 04, 1-2 AM (0)

Jul 04, 2-3 AM (0)

Jul 04, 3-4 AM (0)

Jul 04, 4-5 AM (0)

Jul 04, 5-6 AM (0)

Jul 04, 6-7 AM (0)

Jul 04, 7-8 AM (0)

Jul 04, 8-9 AM (0)

Jul 04, 9-10 AM (0)

Jul 04, 10-11 AM (0)

Jul 04, 11-12 PM (0)

Jul 04, 12-1 PM (0)

Jul 04, 1-2 PM (6)

Jul 04, 2-3 PM (0)

Jul 04, 3-4 PM (0)

Jul 04, 4-5 PM (0)

Jul 04, 5-6 PM (0)

Jul 04, 6-7 PM (0)

Jul 04, 7-8 PM (0)

Jul 04, 8-9 PM (0)

Jul 04, 9-10 PM (0)

Jul 04, 10-11 PM (0)

Jul 04, 11-12 AM (0)

Jul 05, 12-1 AM (0)

Jul 05, 1-2 AM (0)

Jul 05, 2-3 AM (0)

Jul 05, 3-4 AM (0)

Jul 05, 4-5 AM (0)

Jul 05, 5-6 AM (0)

Jul 05, 6-7 AM (0)

Jul 05, 7-8 AM (0)

Jul 05, 8-9 AM (0)

Jul 05, 9-10 AM (0)

Jul 05, 10-11 AM (0)

Jul 05, 11-12 PM (0)

Jul 05, 12-1 PM (0)

Jul 05, 1-2 PM (0)

Jul 05, 2-3 PM (0)

Jul 05, 3-4 PM (0)

Jul 05, 4-5 PM (0)

Jul 05, 5-6 PM (0)

Jul 05, 6-7 PM (0)

Jul 05, 7-8 PM (0)

Jul 05, 8-9 PM (0)

Jul 05, 9-10 PM (0)

29 commits this week Jun 28, 2025 - Jul 05, 2025

bwbush · Fri, 04 Jul 25 14:17:46 +0000 · ouroboros-leios

High TPS for small transactions (#436)

* Designed experiment for high TPS of small transactions
* Completed first 1000 tps run
* Analysis of 1000 tps case
* Updated logbook

a202c66c · main · 9/2,985 ++ 0 --

bwbush · Fri, 04 Jul 25 14:16:27 +0000 · ouroboros-leios

Updated logbook

fcc8b1ee · pull/436/head · 1/6 ++ 0 --

bwbush · Fri, 04 Jul 25 14:14:21 +0000 · ouroboros-leios

Analysis of 1000 tps case

0558f57b · pull/436/head~1 · 1/2,354 ++ 0 --

bwbush · Fri, 04 Jul 25 14:14:20 +0000 · ouroboros-leios

Completed first 1000 tps run

b14c92a3 · pull/436/head~2 · 3/32 ++ 268 --

bwbush · Fri, 04 Jul 25 14:14:20 +0000 · ouroboros-leios

Designed experiment for high TPS of small transactions

15ab81b7 · pull/436/head~4 · 2/268 ++ 0 --

bwbush · Fri, 04 Jul 25 14:14:20 +0000 · ouroboros-leios

Revised 1000 tps time-step experiment

acdecb6a · pull/436/head~3 · 6/593 ++ 0 --

bwbush · Thu, 03 Jul 25 19:36:04 +0000 · ouroboros-leios

Update Logbook.md

4f50380f · main · 1/6 ++ 0 --

kbennett2000 · Thu, 03 Jul 25 18:08:17 +0000 · ouroboros-leios

deploy: 74f839895fa19f572c666603b897bc60122a6482

258a47f7 · gh-pages · 212/675 ++ 654 --

github-actions[bot] · Thu, 03 Jul 25 09:06:57 +0000 · ouroboros-leios

Update formal specification documentation

- Updated from ouroboros-leios-formal-spec repository
- Run ID: 16045936716
- Triggered by: repository_dispatch

53e4c1cf · main · 7/7 ++ 7 --

github-actions[bot] · Wed, 02 Jul 25 13:57:03 +0000 · ouroboros-leios

Update formal specification documentation

- Updated from ouroboros-leios-formal-spec repository
- Run ID: 16026795390
- Triggered by: repository_dispatch

d8405b03 · main · 9/470 ++ 451 --

oduameh · Wed, 02 Jul 25 11:03:31 +0000 · ouroboros-leios

weekly update review

f66c6810 · pull/442/head · 1/1 ++ 1 --

yveshauser · Wed, 02 Jul 25 08:09:13 +0000 · ouroboros-leios

Reference formal specification that includes Full-Short Leios (#405)

a34d4953 · main · 7/91 ++ 50 --

yveshauser · Wed, 02 Jul 25 07:35:27 +0000 · ouroboros-leios

Merge branch 'main' into yveshauser/full-short-leios-trace-verifier

849b3691 · yveshauser/full-short-leios-trace-verifier · 99/13,453 ++ 1,193 --

nfrisby · Tue, 01 Jul 25 20:58:23 +0000 · ouroboros-leios

Relay: improve Haddock and avoid a quadratic check

5363edab · nfrisby/issue-411-hask-txs · 2/46 ++ 37 --

SupernaviX · Tue, 01 Jul 25 17:52:24 +0000 · ouroboros-leios

sim-rs: never vote for equivocated IBs

7cf14a14 · pull/428/head · 2/26 ++ 0 --

SupernaviX · Tue, 01 Jul 25 15:42:14 +0000 · ouroboros-leios

sim-rs: newline at end of config file

8d27c69e · ib-equivocations · 1/1 ++ 1 --

SupernaviX · Tue, 01 Jul 25 15:42:12 +0000 · ouroboros-leios

sim-rs: support "adversarial" property for compat with old Haskell config

616b73b2 · ib-equivocations · 6/27 ++ 10 --

SupernaviX · Tue, 01 Jul 25 15:42:11 +0000 · ouroboros-leios

sim-rs: transmit proofs of equivocation

d8489124 · ib-equivocations · 1/51 ++ 8 --

SupernaviX · Tue, 01 Jul 25 15:42:10 +0000 · ouroboros-leios

sim-rs: output VRFs for IBs

4aa82c2f · ib-equivocations · 1/2 ++ 0 --

SupernaviX · Tue, 01 Jul 25 15:42:08 +0000 · ouroboros-leios

sim-rs: equivocation protection during propagation

3f98f1aa · ib-equivocations · 1/10 ++ 0 --

SupernaviX · Tue, 01 Jul 25 15:42:07 +0000 · ouroboros-leios

sim-rs: support IB equivocation

6dafcd88 · ib-equivocations · 3/77 ++ 23 --

SupernaviX · Tue, 01 Jul 25 15:42:06 +0000 · ouroboros-leios

sim-rs: add ib-equivocations to schema

7bca7865 · ib-equivocations · 2/25 ++ 0 --

ch1bo · Tue, 01 Jul 25 13:37:05 +0000 · ouroboros-leios

Actually count transaction bytes on the RB event

This should now be more honest about the things we actually need to store.

c7c5b81d · count-total-leios-bytes-differently · 1/5 ++ 3 --

bwbush · Mon, 30 Jun 25 19:57:16 +0000 · ouroboros-leios

Completed and analyzed Praos 50 TPS

42ffdc94 · pull/435/head~3 · 6/438 ++ 247 --