forked from ucan-wg/rs-ucan
-
-
Notifications
You must be signed in to change notification settings - Fork 0
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
v1.0-rc.1 #6
Draft
expede
wants to merge
192
commits into
quinn-wip-rework
Choose a base branch
from
v1.0-rc.1
base: quinn-wip-rework
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
v1.0-rc.1 #6
Changes from 21 commits
Commits
Show all changes
192 commits
Select commit
Hold shift + click to select a range
692a4d4
Small change to get this up in a PR
expede c6e9e17
feat: move flake.nix to numtide/devshell
expede 3177cae
Update README to use new GitHub markdown features
expede a31445a
Trim whitespace
expede 3cda14f
feat: frustration
expede d6a62fb
fix: typo
expede 0e0efa2
Adding some TODOs and FIXMEs to come back to
expede 77dafd9
Exploratory programming
expede 9c38b9b
Formatter
expede a5b5434
Splitting out separate files
expede 6ec904c
Add Signature envelope and receipts
expede fb8336f
More exploration
expede aaa2a79
WIP
expede ad94b97
More exploratory programming, cleanup, and conds
expede e72b6d8
WIP
expede 9cb4126
Remove -rs from package name
expede 7a5452f
Thanks for the suggestions everyone! :tada:
expede 454670c
Update cargo
expede a22b0c2
Feels like a hack, but that's a workable serializaion strategy
expede c69c7ba
Ahead of proven contraint
expede f9c712d
Actually on checking code afetr getting stuck with serde
expede 2ff88a1
LOL wow the hacks, but honestly these will clean up nicely
expede 7bfc238
Promising direction!
expede f0a5bf4
Making headway!
expede 66502a8
Much improved proof checking
expede 831695d
Implement CRUD heirarchy to test it out -- seems fine
expede 8f9053a
Save state
expede 6382d8a
Save before changig CheckSelf
expede f24fcf8
Proving almost done
expede 2355b79
Fixed conditions
expede 21af73e
Got rid of the extra constraint... but at what cost?!??!
expede f417565
Rounding out types & breaking up modules
expede 9cb6cdf
Break up modules in advance of cleanup
expede 9c6fb07
More cleanup
expede fdaae6c
I think mainly done moving modules around
expede 8ff556c
Serde sometimes, I tell ya
expede 406b72d
Roughly completed the metadata subsystem
expede 5ec4b9f
Save ahead of wasming
expede d8ebca2
Save point before riping out pointers
expede c8bfde7
Learning about Wasm bindgen
expede f668aa6
Ipld <-> JsValue
expede 5fb875f
okay well this time it compiles :P
expede 9461d8d
Save debugging bindgen
expede d435ee4
Needs lots of cleanup, but the wasm startegy seems to work
expede 1b36674
Abstracted out lots of dynamic parts / added hooks for lots of things
expede 9209f75
Save before compiling JS bindings
expede d24f8f4
Happily builds for wasm including JS bindgings
expede e5fdd53
Configure wasm-pack & wasm-opt
expede 220c9a4
Starting on high-level interfaces :D
expede 1edf634
Many docs. Very wow.
expede 395cbc2
more doctests
expede 448fdfb
Save for the day; working on JS nonce gen
expede e81f5a5
Finished another round of fighting with feature flags
expede e739577
Time!
expede 0766cfe
Save
expede a111ffb
No more meta handling
expede e8d7afe
Save ahead of reorg
expede 1ed78e1
Save before reworking Promise
expede c60234f
Fixin' warnings!
expede 4c64c7a
What a saga!
expede a1d661c
Lots of cleanup
expede 6fefae5
I believe that's most of teh abilities done.
expede 3c2e49a
Save poijt
expede 366c416
Time to go through the type constraints
expede ae01353
Much simplified delegationpayload
expede a51202f
Much simplification
expede 3097b3d
Needs renaming, but custom serializer feels much better
expede 3588c29
Lost of docs, wired invocation into the delegation checker
expede 4f3468f
Save before trait reorg
expede 1b68922
Actually chekc the delegation chain
expede d5e0b13
On to the crypto
expede ef39431
OKay I lied; I wrote the delegation agent instead
expede 5314d82
DID Key crypto
expede 3f69fc9
Parameterized by DID
expede 23472a2
Tests passing again
expede 3b8d57d
Working on presets
expede 9012ce3
Save point after writing the signature envelope
expede cc5d305
VERY WIP invocation agent
expede 1b60658
Working on invocaton agent
expede d99e16a
Most of the way through invocation agent
expede acc564e
compiles again... back to cleanup
expede 70ff160
Fix linter warnings, starting to remove commented out sections
expede a48e35c
Attempting to remove some crates
expede bcf6a50
Remove unused crates
expede a8ff1f3
Custom serilaizer
expede eef78f3
Cleaning up naming, squashing TODOs, adding error types
expede d1f05f3
Clean up did:key
expede e9a77c2
Save before some newtyping
expede 83f8e6d
Newtype invocation
expede 233397e
Delegation newtype
expede c2dcb1d
Better docs
expede a358ffb
Break up a few modules
expede 6b98b49
Move signature under crypto
expede c41e0b8
Porting IPLD proptest helpers from inlien-ipld
expede 58f5300
More Arbitrary instances
expede bf3e2ff
Add more arbitrary (receipt paylaod)
expede 5016132
Varsig implementation
expede 76f0fc9
Expose CID helpers
expede 66efbda
Massively simplify instanced for abilities
expede 322b2c6
Cleanup after simplifying promises
expede 8522b55
In theory, that's fully updated
expede 5666899
Working on policy DSL
expede d1fbad7
Big chunk through the interpreter
expede ffd4f1a
Big chunk of the way through the first pass on the interpreter
expede 00c9806
Switched to maps for better indexing
expede a3b328a
Saving
expede 8c936aa
Just need to add pattern matching unification
expede 730894f
Autoencode
expede 5bdba9b
Minimal predicate language
expede e00f68d
selector parser
expede 3143c39
Swap all files to predicates from condition
expede 65987cd
Cleanup post-spec updates
expede b156a3a
Going through FIXMEs
expede 6055dd2
Ahead of ripping out devshell for blst
expede cd22a59
Begn conversion
expede f5e9cc5
Recover command menu
expede 4541170
Plugging various FIXMEs
expede abce1e3
Save before fixing promises
expede 4db9cf5
Hugely fixup the promise hierarchy
expede 537811f
Switch to envelope trait
expede d7a7e11
add default for in memory store
expede a5180cd
Helpers for integrating to server
expede 656b529
u64 because libpld
expede ff366c5
update for u64 everywhere
expede 842bf28
Builders
expede 2cb8ef8
lol oops
expede 51c3b02
oops again!
expede ec1b2b6
PartialOrd
expede 33a0ac3
Defaults
expede cfe55fd
this is such test code lol
expede 8ecd176
Give delegation an encode instance
expede 326338c
Helper functions on memstore
expede d5cfbac
make method public
expede 8213091
printable error
expede 6e746ad
Hopefully this eliminates the stack overflow?
expede 39939f4
remote debugging... gross
expede d0d9055
good ol' printline debugging
expede f50445d
Serialize to IPLD
expede 6a08986
Better defaults for inv payload builder
expede ef77814
same for invocation
expede 2f38108
Add some dbg
expede 6e9131c
debugging the store
expede 5c3cea5
Dios mio memstore test works now
expede 9afd69d
WIP
expede 30e687c
Remove bools from pred lang
expede 02d4c2f
Working on predicate unification / symbolic matching
expede bfae427
Add "via" functionality
expede b65ec3e
Defaults
expede 61ed0ca
Much work, but clearer what's required
expede fce6a9a
Introduced (correctly) failing test
expede aa41773
Evidently proof search is borked
expede 42358bb
Fix test
expede fa90a81
Plugging little edge cases in invocation agent flow
expede 08f72df
Manual test context
expede 2cb9a70
Fixed test
expede de000f2
Don't mind me, just fighting with varint in did:key
expede 507507e
DID key test vectors all succeed
expede 3bba844
Manualy test all DID test vectors
expede 2ef67b3
working on filter parsing edge cases with proptests
expede 02b37bd
I guess manually parsing is the right thing sometimes
expede 8c70158
More tests, mainly fixing arbitrary instances
expede 71ee7f3
Fixed errors in Nonce comparison
expede 07ed478
Fix glob matcher
expede b965982
Working on edge cases in selector parser
expede c949a4f
refactor: Adjustments to `Store`s & `Agent`s (#9)
matheus23 3503a32
Fairly complete predicate tests
expede deee2bc
WIP rebasing
expede 93cce69
Revert so that can push
expede 643b466
Correct the `FIXME` for command
expede faba286
Test delegation store
expede 246578b
WIP testing
expede 279f17c
Save WIP writng more tests
expede 6affc01
Not pretty, but got that last selector passing
expede bc0a275
Add automatic CID conversaion error
expede 96b0fe1
Receipts as invocations
expede 4913ad0
Require Subject on get_chain
expede 13510c5
Merge pull request #12 from fission-codes/test-deleg-store
matheus23 ff87859
Merge pull request #13 from fission-codes/wrap_auto_cid_insert
matheus23 d854438
Merge pull request #15 from fission-codes/remove-unrestricted-powerbo…
matheus23 2172b21
fix: Error early in `Agent::invoke` if there's no valid delegation chain
matheus23 f894e69
fix: Check for delegations for the specific command, not for "/"
matheus23 5d26366
refactor: Rename `MissingDelegation` -> `DelegationNotFound`
matheus23 4bd583a
refactor: Use `Mutex` instead of `RwLock`
matheus23 fd0922f
fix: Check for the appropriate command in `Agent::delegate`
matheus23 0dfb2a6
refactor: Take `command: &str` instead of by `String` in `Store::get_…
matheus23 8cc6ac5
refactor: Turn `try_fold` into for loop in `Invocation::check`
matheus23 d0fab39
Revert "refactor: Turn `try_fold` into for loop in `Invocation::check`"
matheus23 5dbd296
Merge pull request #11 from fission-codes/matheus23/v1.0-2
matheus23 7f680d3
refactor: Remove unused constraints (#17)
matheus23 53c49d2
Nonce simplification (#19)
expede a00db2d
Rename `CannotCidOr`, API for creating powerlines & more (#18)
matheus23 a8d1b1d
Cleanup unused imports & bump Nix Flake (#16)
expede File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,17 +1,17 @@ | ||
## Report a security issue or vulnerability | ||
|
||
The rs-ucan team welcomes security reports and is committed to | ||
The `ucan` team welcomes security reports and is committed to | ||
providing prompt attention to security issues. Security issues should be | ||
reported privately via [quinn@fission.codes][support-email]. Security issues should | ||
not be reported via the public GitHub Issue tracker. | ||
|
||
## Security advisories | ||
|
||
The project team is committed to transparency in the security issue disclosure | ||
process. The rs-ucan team announces security advisories through our | ||
process. The ucan team announces security advisories through our | ||
Github respository's [security portal][sec-advisories] and and the | ||
[RustSec advisory database][rustsec-db]. | ||
|
||
[rustsec-db]: https://github.com/RustSec/advisory-db | ||
[sec-advisories]: https://github.com/ucan-wg/rs-ucan/security/advisories | ||
[sec-advisories]: https://github.com/ucan-wg/ucan/security/advisories | ||
[support-email]: mailto:quinn@fission.codes |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,6 @@ | ||
use std::error::Error; | ||
|
||
// TODO what is this? | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is just from the template to fill in having an example of the library :). https://doc.rust-lang.org/cargo/guide/project-layout.html |
||
pub fn main() -> Result<(), Box<dyn Error>> { | ||
println!("Alien Shore!"); | ||
Ok(()) | ||
|
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we have matching websites 🙈