cqb pfp

cqb

@cqb

208 Following
879 Followers
cqb pfp
cqb
@cqb
Also didn't really realize that invertibility could be distinguished from divisibility, but it makes sense
1 reply
0 recast
2 reactions
cqb pfp
cqb
@cqb
This is very cool, pulls together these concepts and clicked for me in a way it hadn't before!
1 reply
0 recast
1 reaction
Tom Conlan pfp
Tom Conlan
@tomconlan
Magma’s are the Eevee of algebraic structures. A magma consists of a set equipped with a single binary operation that must be closed by definition. No other properties are imposed. It’s common to find these various algebraic Pokémon in your travels. I like to think of them as evolved Magma’s. If you give your magma an associativity stone it will turn into a semi-group, if you give it the identity stone too it will become a monoid!
2 replies
1 recast
2 reactions
cqb pfp
cqb
@cqb
Cool analysis of the zen 5 CPU layout. Some interesting stuff in here https://youtu.be/bPLKa4crk8A
0 reply
3 recasts
9 reactions
cqb pfp
cqb
@cqb
A gambling class paired with teaching probabilistic thinking would probably go a long way for a lot of kids
0 reply
0 recast
2 reactions
cqb pfp
cqb
@cqb
Frame rate on videos is pretty choppy for me, don't know if others are experiencing that or if it's a known issue though
0 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
First furret, now houndoom, are you just doing all of my favourite pokemon?
1 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
With a viable proof of location you could do provable time and location for sensor data. Would still rely on an attested sensor, but it's less properties requiring the attesting
0 reply
0 recast
1 reaction
cqb pfp
cqb
@cqb
It's there a specific erc for this format?
1 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
It might be helpful to just open an issue for any of the pain points you've had, that way there are some pointers to places that need improvement even if you don't feel qualified to propose changes
1 reply
0 recast
1 reaction
cqb pfp
cqb
@cqb
Will you make a pr with useful things that you think would make the book more approachable?
1 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
This kind of bit twiddling is what I'm here for
0 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
Noticed today when doing a simple math problem that I never factor things and get stuck as a result. Found some factoring practice problems and am going to work through them over the next few days to get comfortable with it and prime my brain to pattern match when it'll be useful
0 reply
1 recast
7 reactions
cqb pfp
cqb
@cqb
Thank you! I hadn't realized the base team was working on one if these
0 reply
0 recast
1 reaction
cqb pfp
cqb
@cqb
Whose all working on keystore rollups?
1 reply
0 recast
5 reactions
cqb pfp
cqb
@cqb
Yeah, something like these. But I'd prefer is the cloud based key splitting were optional
0 reply
0 recast
1 reaction
cqb pfp
cqb
@cqb
Haha, I'm expecting that. Version compatibility definitely wasn't easy with circom and js either
1 reply
0 recast
0 reaction
cqb pfp
cqb
@cqb
The biggest thing so far was while I was installing the bb backend I needed to install another dependency before I could get it to work, but I searched the discord and found it pretty quick. Something that might be a convenient feature is being able to cast an array of u1s into a field element, but I have no idea on if that's technically plausible. I'm a little surprised that there isn't a native U256 type since it's pretty ubiquitous in blockchain spaces now. But, I see there is one in the bignum library, I'm just a little confused about how to actually use them from that. Other than that it's mostly getting used to the rust like syntax. It's been fun!
0 reply
0 recast
1 reaction
cqb pfp
cqb
@cqb
With noir I'm mostly just seeing where the tooling is at. I find the fact that the language is backend agnostic and that there is the ability to plug in different proof systems very cool. I might experiment with recursive proofs for zk state channels if I find the js tooling nice to use
0 reply
0 recast
2 reactions
cqb pfp
cqb
@cqb
I haven't tried to use zokrates in years. From what I remember the thing that kept me from diving deep into it was that I couldn't figure out how to generate a verifier smart contact or interact via js, which both are probably a lot easier to do now. But I had already become familiar with circom so I didn't branch out much.
1 reply
0 recast
1 reaction