GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

security concern: github actions logs

#1468

· Leon-Africa opened

on May 20, 2025

refactor: Create a Single Program for Keth Segments

#1448

· enitrat opened

on May 13, 2025

garaga circuits are unsound

#1436

· enitrat opened

on May 7, 2025

feat: <code>check_branch_node</code> should check that <code>value</code> field is None

#1377

· Eikix opened

on Apr 18, 2025

·

Prove any Ethereum mainnet block

feat: <code>check_branch_node</code> and <code>check_extension_node</code> should check that embedded nodes have valid size

#1376

· Eikix opened

on Apr 18, 2025

·

Prove any Ethereum mainnet block

feat: <code>check_leaf_node</code> should check that parent node is not an extension node

#1375

· Eikix opened

on Apr 18, 2025

·

Prove any Ethereum mainnet block

dev: pass types to rust hint runner

#1373

· Eikix opened

on Apr 18, 2025

·

Prove any Ethereum mainnet block

feat: setup stwo_cairo_verifier in codebase

#1371

· enitrat opened

on Apr 17, 2025

·

Prove any Ethereum mainnet block

dev: target forks/prague EELS

#1353

· obatirou opened

on Apr 16, 2025

·

Prove any Ethereum mainnet block

epic: Prague fork

#1352

· ClementWalter opened

on Apr 16, 2025

·

Prove any Ethereum mainnet block

epic: applicative recursion

#1350

· ClementWalter opened

on Apr 16, 2025

·

Prove any Ethereum mainnet block

dev: fix dep warnings originating from <code>trunk check --all</code>

#1308

· Eikix opened

on Apr 10, 2025

·

Run any Ethereum mainnet block (Cancun fork)

0