8000 Tags · risc0/kailua · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: risc0/kailua

Tags

v1.0.0-rc.1

Toggle v1.0.0-rc.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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

v0.4.0-rc.2

Toggle v0.4.0-rc.2's commit message

Verified

This commit was signed with the committer’s verified signature.
patch retry logic

v0.4.0-rc.1

Toggle v0.4.0-rc.1's commit message

Verified

This commit was signed with the committer’s verified signature.
bump to v0.4.0 and rebake elf

v0.3.8

Toggle v0.3.8's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. 8000
chore: Update Kona to v1.0.0 (#40)

* update zkvm

* update kona + alloy

* update c-kzg patch

* rebake elf

* update to Kona release

v0.3.8-rc.1

Toggle v0.3.8-rc.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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

v0.3.7

Toggle v0.3.7's commit message

Partially verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
We cannot verify signatures from co-authors, and some of the co-authors attributed to this commit require their commits to be signed.
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>

v0.3.6

Toggle v0.3.6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
feat(contracts): Null commitment challenges (#32)

* reject null root claims

* proveNullFault

* validator: optimize null fault proofs

* enable null faults in inducer

* bump version, update guest

* update docs on timing params

* nit

* nits

v0.3.5

Toggle v0.3.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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

v0.3.4

Toggle v0.3.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
feat: Contract upgrades (#29)

* bump locked crate versions

* remove initial setup footguns

* fix fast track tool

* skip proposals from different deployments

* update docs

* remove misconfig footgun

* update deployment gas costs

v0.3.3

Toggle v0.3.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
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
0