Skip to content

[WIP] Keys address integration #2

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.

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

Open
wants to merge 118 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
118 commits
Select commit Hold shift + click to select a range
5130d70
Add jaleo module
ilitteri Dec 5, 2022
a367d1e
Merge branch 'main' of github.com:Entropy1729/VMtropy into aleo_conse…
ilitteri Dec 6, 2022
53e91a0
Expose jaleo module
ilitteri Dec 6, 2022
083fcab
Add new intermediate type for transition
ilitteri Dec 6, 2022
24e8f38
Update transition methods
ilitteri Dec 6, 2022
1974807
Update input handling when verifying the proof
ilitteri Dec 6, 2022
af1b3eb
Add TODO comments
ilitteri Dec 6, 2022
e996abe
cargo fmt
ilitteri Dec 6, 2022
70e2904
Implement is_witness method for CircuitIOType
ilitteri Dec 6, 2022
61b29e1
Add new enum that wraps the type visibility
ilitteri Dec 6, 2022
cb365d1
Use the new enum type
ilitteri Dec 6, 2022
37f62c3
Handle private type cases
ilitteri Dec 6, 2022
2f0b9be
cargo fmt
ilitteri Dec 6, 2022
b16ef67
Update comment
ilitteri Dec 6, 2022
996c42c
cargo update -p simplewoks
ilitteri Dec 6, 2022
720a4cc
Update tests
ilitteri Dec 6, 2022
2dc54cc
Implement value() and Display for the new enum
ilitteri Dec 6, 2022
e634e9a
Update examples
ilitteri Dec 6, 2022
ceafcee
Update comment
ilitteri Dec 6, 2022
8503c30
Name the enum to VariableType
ilitteri Dec 6, 2022
dc84473
cargo fmt
ilitteri Dec 6, 2022
582c7b5
clippy suggestions
ilitteri Dec 6, 2022
bd15429
Merge branch 'handle_private_inputs' of github.com:Entropy1729/VMtrop…
ilitteri Dec 6, 2022
4cf54c0
Merge branch 'main' of github.com:Entropy1729/VMtropy into aleo_conse…
ilitteri Dec 6, 2022
a0108c1
Return circuit inputs when executing
ilitteri Dec 6, 2022
78a49c0
Update inputs & outputs type
ilitteri Dec 6, 2022
24d54c6
credits_execution refactor
pablodeymo Dec 7, 2022
82dd79b
Move execute logic to a module
ilitteri Dec 12, 2022
41e5ed9
Implement deployment (#59)
ilitteri Dec 12, 2022
8c775e7
Expose snarkVM temporary
ilitteri Dec 12, 2022
7ee9bff
Add snarkV types temporary
ilitteri Dec 12, 2022
dce6937
Expose snarkVM Itertools temporary
ilitteri Dec 12, 2022
97ba0d0
warning corrected
pablodeymo Dec 13, 2022
f6549c0
Expose verifying key map serde
ilitteri Dec 13, 2022
b807168
Record commitments (#60)
jrchatruc Dec 14, 2022
e8b452f
Update simpleworks package
ilitteri Dec 14, 2022
b587f58
Move Transition logic to a module (#61)
ilitteri Dec 14, 2022
4225911
Implement traits for VerifyingKeyMap
Dec 14, 2022
c63a870
Add Transaction (#62)
ilitteri Dec 14, 2022
e23cf16
initial work on private key, address and viewkey
pablodeymo Dec 14, 2022
5007bb1
drafs for fields
pablodeymo Dec 14, 2022
69fde51
Update verify_execution
ilitteri Dec 14, 2022
f6c6593
Update verify_deployment
ilitteri Dec 14, 2022
a39fe92
Add mint_credits function
ilitteri Dec 14, 2022
8a07c1f
Update execution
ilitteri Dec 14, 2022
751bae2
Add get_credits_key
ilitteri Dec 14, 2022
f309edf
Add fisrt iteration for the records serial numbers (#64)
ilitteri Dec 14, 2022
2e4b4db
Merge branch 'integration' of github.com:Entropy1729/VMtropy into int…
ilitteri Dec 14, 2022
8ea0b46
Update execution
ilitteri Dec 14, 2022
494d818
rserialization and deserialization functions
Dec 14, 2022
526e490
Merge branch 'integration' of github.com:Entropy1729/VMtropy into int…
ilitteri Dec 14, 2022
2dc2e18
Add ProgramBuild as a struct
ilitteri Dec 14, 2022
998e872
cargo fmt
ilitteri Dec 14, 2022
a443a1d
Update execute
ilitteri Dec 14, 2022
fc35704
Refacto record serial number method name
ilitteri Dec 14, 2022
0e054ef
Add serial numbers method for transition
ilitteri Dec 14, 2022
757c3f7
Expose generate rand from simpleworks
ilitteri Dec 14, 2022
fb2ad95
Process executed function variables
ilitteri Dec 14, 2022
564a4f5
Add is_owner & decrypt for record
ilitteri Dec 14, 2022
c2ebd18
Add serial number to record variable type and remove other types hashes
ilitteri Dec 14, 2022
24dc63d
Return function variables when executing
ilitteri Dec 14, 2022
aa955cb
Move circuit io variables process logic
ilitteri Dec 14, 2022
889b7a0
Fix tests
ilitteri Dec 14, 2022
6fb5bdc
Remove transaction for the moment
ilitteri Dec 14, 2022
36c7f7f
Fix mains
ilitteri Dec 14, 2022
30f954c
ProgramID as String
ilitteri Dec 14, 2022
739e21a
Update simpleworks package
ilitteri Dec 14, 2022
6bb6dc8
cargo fmt
ilitteri Dec 15, 2022
c07c765
Upadte jaleo get_credits_key
ilitteri Dec 15, 2022
f0a6cde
Expose function_variables helper function
ilitteri Dec 15, 2022
bb48753
Type alias testnet3 function
ilitteri Dec 15, 2022
eb165a9
Expose build function
ilitteri Dec 15, 2022
b0b1965
Fix transfer test
ilitteri Dec 15, 2022
77dfc69
Update simpleworks package
ilitteri Dec 15, 2022
0818b51
Fix record serialization
jrchatruc Dec 15, 2022
c15fb27
more work on from_random_bytes_with_flags
pablodeymo Dec 15, 2022
42a956a
Fix serialize method for Record
jrchatruc Dec 15, 2022
792189f
Update record display & commitment encoding
ilitteri Dec 15, 2022
136f1e3
Merge branch 'integration' of github.com:Entropy1729/VMtropy into int…
ilitteri Dec 15, 2022
ab7a6c7
Update rng for commitments
ilitteri Dec 15, 2022
1be7241
Add nonce
ilitteri Dec 15, 2022
4676fe0
Update simpleworks package
ilitteri Dec 15, 2022
058e400
more work on generate_account()
pablodeymo Dec 15, 2022
b8b841b
add dummy new in PrivateKey
pablodeymo Dec 15, 2022
882763d
Fix serde for Record
ilitteri Dec 15, 2022
27a98df
Deref instead of clone
ilitteri Dec 15, 2022
219b32a
Change record `new` method to take an optional nonce
jrchatruc Dec 15, 2022
43d92ed
Fix PrivateKey>>new() implementation
Dec 15, 2022
2f62e4f
Add decaf as a dependency
Dec 15, 2022
ed68c99
Update cargo.lock
jrchatruc Dec 15, 2022
69c58c6
Implement UserInputValueType (#65)
ilitteri Dec 15, 2022
c87f2a1
Add EncryptedRecord as an alias for Record (for the moment)
ilitteri Dec 16, 2022
7d23df2
Remove unused snarkVM types
ilitteri Dec 16, 2022
12e6ef2
Expose snarkVM's PrivateKey
ilitteri Dec 16, 2022
cb0d9e3
Record deserialization (#66)
ilitteri Dec 16, 2022
3740d43
Merge branch 'keys-address' into keys-address-integration
pablodeymo Dec 16, 2022
2231595
Fix some lint errors
Dec 16, 2022
be22968
unwrap removed
pablodeymo Dec 16, 2022
1e71f56
clippy
pablodeymo Dec 16, 2022
32f0c00
more clippy
pablodeymo Dec 16, 2022
3e6d874
fmt
pablodeymo Dec 16, 2022
89ce3c8
first test
pablodeymo Dec 16, 2022
2a3eacb
using BLS 12-377
pablodeymo Dec 16, 2022
a02088b
using simpleworks with bls 12-377
pablodeymo Dec 16, 2022
134f019
WIP: preliminar implementation for compute key, private key and view key
Dec 16, 2022
047e183
Fix new address module
Dec 19, 2022
15ad41f
Solve imports issues, some errors yet to fix
Dec 20, 2022
19916bd
Some fixes and move address into Jaleo
Dec 21, 2022
4f624ba
pub mod address;
pablodeymo Dec 21, 2022
3ae08af
private key conversion
pablodeymo Dec 21, 2022
b406f76
Replace jaleo::Field for simpleworks::gadgets::ConstraintF in keys
Dec 21, 2022
af549ce
Some more fixes
Dec 21, 2022
3af0c36
Add imports
Dec 22, 2022
606489c
fmt
Dec 22, 2022
5f0d504
Move changes
Dec 22, 2022
7dfddca
Adapt the keys to use a GroupAffine instead of a ConstraintF accordin…
Dec 22, 2022
8ee52bb
Compute key preliminar implementation
Dec 22, 2022
276c613
fix g_scalar_multiply
Dec 22, 2022
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
8 changes: 4 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ jobs:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
toolchain: 1.65.0
components: clippy
- run: apt install -y clang libclang1 libssl-dev
- run: cargo clippy --all-targets --all-features -- -D warnings
Expand All @@ -17,7 +17,7 @@ jobs:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
toolchain: 1.65.0
components: rustfmt
- run: cargo fmt -- --check
coverage:
Expand All @@ -28,12 +28,12 @@ jobs:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
toolchain: 1.65.0
components: clippy
- name: Install cargo-llvm-cov
uses: taiki-e/install-action@cargo-llvm-cov
- name: Generate code coverage
run: cargo llvm-cov --all-features --workspace --lcov --output-path lcov.info
run: apt install -y libssl-dev && cargo llvm-cov --all-features --workspace --lcov --output-path lcov.info
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v3
with:
Expand Down
Loading