Tags: risc0/kailua
Tags
feat: Deprecate `PROPOSAL_TIME_GAP` (#50) * contracts: accept l1Head from other proposals * fpvm: prevent zero output proofs * contracts: remove PROPOSAL_TIME_GAP * update documentation * refactor proposer/validator * contracts: revert to proveTrailFault * validator: revert to trail faults * fail sync_proposal if op-node is behind * independetly delayed proposal processing * tune down op sync concurrency to 128 tasks * special exit code on insufficient l1 data * track all l1 heads * advance proving l1 head on insufficient data error * test coverage * reenable validator persistence * test premature l1 head adjustments * prune old l1 head data * fix * prioritize proposal on startup * patch devnet validator * controlled safe l2 head delays + better output cache use * controlled l1 head delays * trigger pruning on resolution updates * logging nits * fix flaky test * 1.0.0-rc.1
feature: dockerization (#23) * WIP: building via docker * builds * cleaned up dockerfile * cleaning install * platform fixes * Deplyo.s.sol added * script * contracts dockerized * adding jq * including all binaries in image * split out build-environment * Deploy.s.sol updated for new contracts * docker --release and -F disable-dev-mode * using foundry v1.0.0 for kailua-contrats * build optimizations
feat: R0VM V2 / Kona Update * pin solc version * bump c-kzg patch * bump version & rebuild guest * svm instead of solc * remove zeth dependency * custom seq window for prove cmd * rebake fpvm * tighten vec oracle preimage validation * cached oracle l1 provider * l1 wit stream * patch provider * patch blst * rebake elf * fix fetch config * rm boundless market * update: host deps to risc0-* 2.0 * update: fpvm to 2.0.0-rc.1 Note: this breaks. r0 rust 1.85.0 toolchain is not yet available for zkvm * fix: toolchain workspaces * update: risc0-* 2.0.0-rc.3 * update: risc0-* 2.0.0 release * update: rust-version = 1.85, groth16 = 2.0.0 * default to risc0 receipts * rebuild guest image * clean up client * clean up host * remove set builder/verifier * update documentation * update vendored risc0 contracts * rebake v2 elf * update kona * rebake elf * default to 10mb chunks * update docs * update mock verifier selector * better elf/input size messages for bonsai --------- Co-authored-by: Rami Khalil <the.rami.khalil@gmail.com>
fix: Blobless Proposals (#30) * ignore elf/input files * fix proposal blob count contract calculation * prioritize skipping for correctness * skip loading sidecar without blobs * fix offline proving and test * version bump * update host-side lock file * blobless validity proving as fault proofs * fix eliminations count * add slack to prune children call * fix deployment tracking * update docs
feat: Precompiles (#27) * pin solc version * bump c-kzg patch * bump version & rebuild guest * svm instead of solc * remove zeth dependency * custom seq window for prove cmd * rebake fpvm * tighten vec oracle preimage validation * cached oracle l1 provider * l1 wit stream * patch provider * patch blst * rebake elf * fix fetch config
PreviousNext