Skip to content

Risc0 circuit #98

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 61 commits into from
Jun 3, 2024
Merged

Risc0 circuit #98

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
61 commits
Select commit Hold shift + click to select a range
0d5b7d2
flake: don't follow our nixpkgs revision for risc0pkgs to speedup builds
marijanp Apr 29, 2024
f8122c3
kairos-prover: sync with upstream risc0pkgs template
marijanp Apr 29, 2024
6c125b6
Merge branch 'main' of github.com:cspr-rad/kairos into ci-optim
Avi-D-coder May 6, 2024
aa8396a
Create kairos-types crate splitting out rust native transaction types
Avi-D-coder May 6, 2024
0e6ce51
Add serde to kairos-types
Avi-D-coder May 7, 2024
0b836bd
Enable risc0 metal acceleration support
Avi-D-coder May 7, 2024
d65496a
Rebase, finish prover server and move .env to root
Avi-D-coder May 8, 2024
71e04a0
Merge branch 'main' of github.com:cspr-rad/kairos into risc0-circuit-avi
Avi-D-coder May 13, 2024
3bcc368
Fix nix build
Avi-D-coder May 13, 2024
5c5bd40
Rename crates to better reflect their purpose
Avi-D-coder May 13, 2024
72d5dde
Commit to more of the input, and add no_std risc0 verifier
Avi-D-coder May 13, 2024
2a2bd45
Fix nix build, credit to Marijan
Avi-D-coder May 14, 2024
c862305
Fix error handling in kairos-prover-server-lib NativeProver
Avi-D-coder May 14, 2024
2cff279
Work towards a proptest generator for the core circuit logic
Avi-D-coder May 15, 2024
69e0851
Don't break Deposit out in risc0 logic
Avi-D-coder May 16, 2024
c6b9743
kairos-circuit-logic: move to kairos-prover
marijanp May 17, 2024
be0d43d
kairos-tx: move to kairos-prover
marijanp May 17, 2024
93a0733
kairos-prover-server-lib: move to kairos-prover
marijanp May 17, 2024
105981c
kairos-prover: build with crane
marijanp May 17, 2024
a08cdac
flake: update rust toolchain because of proc_macro issue with rust-ni…
marijanp May 17, 2024
17ad475
Work towards proptests
Avi-D-coder May 20, 2024
e01b3e3
Pass AccountsState through proptest generators
Avi-D-coder May 21, 2024
fb5d6c4
test prover server logic
Avi-D-coder May 21, 2024
e7f383e
Test logic
Avi-D-coder May 21, 2024
a326077
First Risc0 test
Avi-D-coder May 21, 2024
8e947fa
Improve Arbitrary instances
Avi-D-coder May 21, 2024
7b07305
Merge branch 'risc0-circuit-avi' into risc0-circuit-nix-refactor
marijanp May 21, 2024
6fbb1bc
flake: use lib.fileset for source filtering
marijanp May 21, 2024
e59485f
flake/coverage: fix stripping issue with cargo tarpaulin
marijanp May 21, 2024
9d73495
Use accelerated risc0 sha256
Avi-D-coder May 21, 2024
2d69957
Remove kairos-prover-server-lib and describe lsp fix that makes it un…
Avi-D-coder May 21, 2024
4d9d997
Automatically fix disable-dev-mode
Avi-D-coder May 21, 2024
4d71cc8
More proptest work
Avi-D-coder May 24, 2024
d1712e5
Proptest not shrinking well
Avi-D-coder May 24, 2024
69a1b58
No luck
Avi-D-coder May 24, 2024
d5b7778
Clean up, but now we have a internal proptest lib panic
Avi-D-coder May 24, 2024
81bc2e1
Fix Arbitrary impl
Avi-D-coder May 27, 2024
d04497f
Enable risc0 proptest and fix other proptests
Avi-D-coder May 28, 2024
ac54811
Fixup
Avi-D-coder May 28, 2024
1a2025d
Improve proptest impls
Avi-D-coder May 29, 2024
b037985
Fix build
Avi-D-coder May 29, 2024
a988ab8
Merge branch 'risc0-circuit-nix-refactor' of github.com:cspr-rad/kair…
Avi-D-coder May 29, 2024
c0c2216
The build is broken
Avi-D-coder May 29, 2024
adc4b11
Fix build
Avi-D-coder May 29, 2024
22d8bab
Merge branch 'main' of github.com:cspr-rad/kairos into risc0-circuit-avi
Avi-D-coder May 29, 2024
8b5be6f
Fix metal build
Avi-D-coder May 29, 2024
7e36f19
Don't use metal in nix build
Avi-D-coder May 29, 2024
d632936
Restore kairos-prover/rust-std-Cargo.lock
Avi-D-coder May 29, 2024
45fa5a8
Address @marijanp's review
Avi-D-coder May 30, 2024
79140f1
Address Review
Avi-D-coder May 30, 2024
f5f3ea7
Update prover cargo profiles, and remove old unused host crate
Avi-D-coder May 30, 2024
036a049
Disable risc0 real proving in nix build, increase proptest cases
Avi-D-coder May 30, 2024
0e0582a
Address @marijanp's review
Avi-D-coder May 31, 2024
41cc1b5
kairos-tx: move to project root
marijanp Jun 3, 2024
3b21e44
kairos-prover: only enable dev mode when testing
marijanp Jun 3, 2024
40a392a
Merge pull request #112 from cspr-rad/move-kairos-tx
Avi-D-coder Jun 3, 2024
992acab
Merge pull request #113 from cspr-rad/risc0-dev-when-testing
Avi-D-coder Jun 3, 2024
ee01693
Change prover backend based on feature flags
Avi-D-coder Jun 3, 2024
28fc5bc
Fix nix build
Avi-D-coder Jun 3, 2024
7ba8948
Fix nix build
Avi-D-coder Jun 3, 2024
edd50b9
Fix nix build
Avi-D-coder Jun 3, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .env
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
KAIROS_SERVER_SOCKET_ADDR="127.0.0.1:7893"
KAIROS_PROVER_SERVER_SOCKET_ADDR="127.0.0.1:7894"
Loading
Loading