<Bike>
chinese remainder isn't too uintuitive i don't think
<rqou>
it just defines a ring isomorphism between the ring of integers modulo N and the direct product of the rings of integers modulo n_i, how hard can that be? :P
<Bike>
yeah man. simple
<pie_>
yeah give me like...70 more pages i think?
<pie_>
:P
<Bike>
you can uniquely represent all numbers from 0 to 5 by describing whether they're even and whether they're divisible by three
<rqou>
btw if this is for RSA, a) don't roll your own crypto b) use padding
<Bike>
maybe i just want to reimplement bignums, huh. you ever think about that
<rqou>
c) the CRT trick is also much more vulnerable to fault injection
<pie_>
nah im just working at dummit&foote algebra a bit
<pie_>
what? me? studying? pffff.......
<rqou>
interestingly i have rolled my own crypto, but the threat model was completely different
* pie_
rolls a crypto
<rqou>
I've rolled my own shamir secret sharing tool
* pie_
lights it up
<rqou>
because last i looked i didn't see a good tiny one
<pie_>
c === m^e (mod n) blaze it
<qu1j0t3>
lol @ pie_ 's roach
<pie_>
this is some good key material maaan
<qu1j0t3>
gettin high on entropy
<pie_>
1) prove that squares of elements in Z/4Z ({0,1,2,3 modulo 4) are just 1 and 0
<rqou>
easy
<rqou>
just compute them
<rqou>
proof complete
<pie_>
2) use the previous to prove that for any a, b integers: a^2 + b ^2 never leaves a remainder of 3 mod 4
<rqou>
easy as well
<rqou>
a^2 and b^2 individually can only be 0 or 1, so the sum of any combination can only be 0, 1, or 2
<rqou>
did you want a deeper result? :P
<rqou>
awygle: does this match your cs70 experience? :P
<pie_>
so, im like, lets just factorize for lulz: (a+ib)(a-ib)=3 mod 4, you can only get 3 via 1*3 or 3*1 in this case, but then "how does babby compute ib mod 4"
<pie_>
i like to overcomplicate everything
<rqou>
um, that doesn't work
<rqou>
complex numbers are a whole other beast
<pie_>
im not sure it doesnt
<pie_>
but yeah
<rqou>
you can do it my "definitely not a deep result" way
<rqou>
:P
<pie_>
yeah i thought of the latter ...didnt notice the former yet until you mentioned it xD
<pie_>
fml
<rqou>
berkeley really trains you to both understand actual proofs as well as hacks like this :P
<pie_>
yeah ok maybe i shouldnt be stuck in some backwater cesspool but whatever
<pie_>
xD
<pie_>
could be worse i guess
<pie_>
also thats not really a hack
<awygle>
I don't think I ever solved a cs70 problem by exhaustion
<awygle>
Except maybe in the literal sense
<rqou>
lool
<pie_>
haha
<rqou>
i definitely remember doing so at least once
<rqou>
somewhere in the 70/170/other-proof-heavy-class series
<awygle>
I don't think it was 70, I think it was ee120, but there was at least one very mathy class where I kept turning in solutions with gaping holes in them and getting full points
<pie_>
a solution exists, we leave it as an exercise to the grader
<rqou>
yeah, imho 120 isn't very good and needs some work
<awygle>
Like "it would be great if this theorem was true, let's just assume it and turn it in"
<rqou>
although i'm not really sure what they're going to do with it now that they killed 20
<rqou>
awygle: which professor?
<rqou>
was it ronf?
<awygle>
120 was the closest course I ever got to the "I've been in this class all semester but forgot and now it's the final" dream I've ever gotten
<awygle>
rqou: babak
<pie_>
i need to stop not doing math, theres so much neat stuff in here
<rqou>
O_o
<rqou>
i expected him to be much more strict
<awygle>
I think it was the grad student
<rqou>
either way, imho 120 needs work
<rqou>
and it's really not clear where it fits now without 20
<awygle>
I literally skipped 50% of the class, including homework, by just forgetting it existed. Consequently I suck at Fourier transforms (but am good at Laplace and Z)
<rqou>
esp. given that there's ee123 and ee128
<awygle>
rqou: I had ronf for controls, he almost killed us
<rqou>
i mean, that's his research area :P
<awygle>
I also "worked" in his lab for a while (just shot stuff with lasers)
<rqou>
lol i did too
<awygle>
After the midterm feedback forms he dropped the homework by 50% and allowed me to occasionally sleep on Thursday nights
<rqou>
i mostly yak-shaved some embedded crap before i decided i didn't have enough time for it
<rqou>
awygle i'm amazed we never ran into each other
<rqou>
what year did you graduate again?
<awygle>
rqou: we might have, I'm pretty generic looking lol
<awygle>
13
<rqou>
hmm
<pie_>
soon: awygle never existed and we just thought him into existence
<awygle>
I've been dead the whole time
<awygle>
Or alternatively, JUST AWYGLE
<pie_>
something something we are the living dead
<pie_>
:|
<awygle>
Speaking of back to work >_<
<pie_>
i dont want the math test tomorrow
<pie_>
siiight
<pie_>
*siiigh
rohitksingh_work has joined ##openfpga
<rqou>
wait awygle you're HKN?
<pie_>
on the plus side i finally know ow to use the euclidean algorithm (about time), but i still dont have the intuition for how it works
<awygle>
rqou: yup
<rqou>
did you ever end up watching hentai with them? :P :P
<awygle>
Still never used a wheat stone bridge
<awygle>
........ No
<pie_>
lmao
<pie_>
wat
<pie_>
"no"
<awygle>
That does not sound like a thing I would want to do lol
<pie_>
hkn?
<awygle>
eta kappa nu
<awygle>
EE honor society
<pie_>
oh
<pie_>
wtf does that have to do with watching hentai xD
<awygle>
Enormous waste of time but introduced me to my primary college girlfriend and current good friend so eh
<rqou>
pie_: it's complicated
<rqou>
tl;dr HKN is/was full of weebs
<pie_>
aha lol
<qu1j0t3>
pie_: See? you never need to worry about being off topic
<rqou>
alright, once you've both seen it i'm unsharing it
<awygle>
After my time lol
<pie_>
rqou, wouldnt blatantly link something without notice WOULD HE
<awygle>
He absolutely would
<pie_>
ssssh we have to make sure he can catch other people off guad
<pie_>
guard
* awygle
changes the topic to "beware of links from rqou"
<rqou>
hey
<pie_>
no bulli - rqou, 2018
<rqou>
"mods are asleep, post cheese pizza" :P :P :P
<rqou>
azonenberg? :P
<pie_>
ಠDಠ
<rqou>
lol what is that?
<pie_>
its ಠ_ಠ but with :D
<awygle>
spiders georg
<pie_>
dont ask me how it works
<rqou>
awygle: no TBP for you? only a wheatstone bridge and not a watch key? :P
<awygle>
so tonight I am cursed with buggy ICs and poorly planned interfaces, but tomorrow I might get to walk again
<pie_>
*so tonight again
<awygle>
rqou: na no tbp. By the time they invited me I was soured on honor societies lol
<rqou>
i did them both in the same semester. that was... "fun"...
<awygle>
Sounds like a bad idea lol
<rqou>
hey azonenberg are you still busy AF? :P
Bike has quit [Quit: Lost terminal]
* qu1j0t3
hears crickets
* qu1j0t3
sees a tumbleweed sweep past
* azonenberg
was at the house doing construction
<azonenberg>
so, yes
<azonenberg>
i'm also 802.3 af
<rqou>
how's the progress?
<azonenberg>
(i need to make a t-shirt that says that)
<azonenberg>
With some kind of graphic symbolizing PoE
<azonenberg>
Framed out a wall in the new lab today
<azonenberg>
installed power outlets on it
<azonenberg>
Hung the new subpanel for the UPS, but no breakers in it yet so i couldnt hook anything up
<rqou>
O_o your UPS has a whole subpanel?
<pie_>
well its his badass man cave so
<azonenberg>
rqou: my new UPS is going to be a 6 kVA and i may eventually upgrade to something bigger
<azonenberg>
that's three 20A circuits loaded to capacity, if i spread it out a bit more like 4-5
<azonenberg>
The panel i got has eight spaces so that should be plenty
<rqou>
hmm, that does need its own breaker
<rqou>
azonenberg: why no HVDC lines? :P
<rqou>
then you no longer need DC->AC->DC
<pie_>
is this loss
<azonenberg>
i am planning on wiring my rack for 48V DC at some point
<azonenberg>
but for now everything is 120
<rqou>
no hack of ~200VDC?
<rqou>
azonenberg: btw how do you feel about PoE?
<rqou>
my current situation is "PoE is a huge pain because i only have one PoE capable switch"
<azonenberg>
I have none
<azonenberg>
just a passive injector
<azonenberg>
it's not full 802.3af, just passive injection
<azonenberg>
it works fine for my current IP cameras
<azonenberg>
i would love to eventually have more equipment be PoE capable
<azonenberg>
i would also love to have a laptop with a PoE host port, so i could e.g. run an ip cam off the laptop with no power brick
<rqou>
how do you feel about the giant mess of usb pd?
<azonenberg>
i consider usb deprecated
<azonenberg>
i havent done a design with usb on it in... i cant even remember
<azonenberg>
i stuck a usb port on a design as a quick and dirty 5V power source recently but that was it
<rqou>
but cute smol connectors
<azonenberg>
When your boards have big FPGAs on them, an rj45 doesnt add much to the size
digshadow has quit [Quit: Leaving.]
<azonenberg>
that said, i would love a smaller ethernet connector
digshadow has joined ##openfpga
<rqou>
just use type-c :P
<azonenberg>
i've considered several nonstandard options but havent had time to explore them in depth
<azonenberg>
lain actually was looking at standardizing a gig-e alternate function for usb-c
<rqou>
you mean 3+ different ways of doing it? :P
<azonenberg>
well, for the time being size has never been a factor
<azonenberg>
as i tend to not make small gizmos
<azonenberg>
i make big iron :p
<rqou>
azonenberg: oh, i just remembered: from the discussion earlier i was wondering whether you had a fancy decorative wheatstone bridge and/or watch key in addition to your fancy piece of paper? :P
* azonenberg
was UPE
* qu1j0t3
snerks
<rqou>
oh right, CS without any EE
<azonenberg>
not in the engineering dept so no TBP bent for me
<azonenberg>
or similar
<azonenberg>
I have been thinking about joining IEEE for better journal access though
<rqou>
you have to pay dues though
<azonenberg>
yes but it seems worth it if you subscribe to a couple of journals
<azonenberg>
this was a while ago though, i havent looked into it late;ly
<rqou>
wait, doesn't IEEE also require you to be somewhat EE-affiliated?
<azonenberg>
Pretty sure i do enough engineering-y work i would have little trouble meeting any such requirement
<azonenberg>
with a PhD in CS and a bunch of EE classes, a thesis on FPGA SoC architecture, etc
<rqou>
yeah
Patater has quit [Ping timeout: 276 seconds]
<awygle>
Lol upe
oeuf has joined ##openfpga
* awygle
judges those who are not of his arbitrary tribe
Patater has joined ##openfpga
uovo has quit [Ping timeout: 256 seconds]
soylentyellow has quit [Ping timeout: 246 seconds]
<awygle>
just got my limesdr mini. always nice when companies pick the same parts as me lol
<rqou>
has limesdr cleaned up their act?
<awygle>
oh they cheated though, they used the shell from the Wurth shield and the Harwin clips! i should have done that instead of the stupid two-part Wurth cage
<awygle>
rqou: i don't really know what that means
<rqou>
oh btw azonenberg, awygle: did you know that (in some cases) if you wind an inductor around a bobbin, connect it to an LCR meter, and then slowly insert a magnetic core into the bobbin while the LCR meter is still connected, you can feel the magnetic core vibrate
<rqou>
the stimulus signal from the LCR meter causes physical forces that you can actually feel
<awygle>
no, but that doesn't surprise me
<rqou>
also, inductors get really really toasty when pumping 3A through it :P
<awygle>
these LDOs are 0.675mm on a side
<azonenberg>
rqou: you know those things have power ratings right?
<azonenberg>
also, magnetorestriction
<azonenberg>
old TV noise etc
<awygle>
power ratings shmower ratings
<rqou>
^
<rqou>
especially since this was a custom hand-wound one
<rqou>
and yes, we did measure the saturation flux density and we didn't hit it
<awygle>
worst that will happen is it'll get hot and stop being a magnet :P
<awygle>
(note: this is not the worst thing that can happen)
<rqou>
note that one of them has a very very precisely tuned gap adjusted using bits of paper :P
<rqou>
and the other one doesn't have the core fixed together at all :P :P
<awygle>
swag :P
<rqou>
wait awygle are you familiar with inductor/magnetics design?
<rqou>
why didn't you help me when i needed problem set help? :P
* awygle
wiggles his hand back and forth vaguely
<awygle>
not really
<awygle>
i have done two magnetics projects, a coilgun and some magnetorquers
<awygle>
both of those are just solinoids :P
<rqou>
also, apparently i had the neatest inductors in the whole class because i'm the only one who bothered to wind them with the windings properly packed
<awygle>
and i sketched a Helmholtz cage which is just a giant solenoid :P
<rqou>
rather than "hurr durr, wrapped it around N times"
<awygle>
the modern "settings just apply, you don't have to click an apply button" UI paradigm is at once logical and deeply discomfiting
<rqou>
i wonder what this guy would think about the necomimi cat ears? :P
<rqou>
out of the loop: why is everyone hating on ESR more than usual recently? (i know he's a terrible person, the question is specifically about the "more than usual" part)
mumptai has quit [Remote host closed the connection]
<sorear>
i'm guessing it's more a factor of s/hating on/hearing about/, he must have done something newsworthy
<azonenberg>
awygle: i dislike that on anything potentially dangerous
<azonenberg>
on my PSU remote control for example i force a commit operation to make anything take effect
<azonenberg>
other than clicking the on/off button
<rqou>
what about when twiddling physical dials?
<rqou>
"nope, nope, nope, oh shit it's at 10A"
<rqou>
*smoke pours out of DUT*
<azonenberg>
rqou: this is one of the reasons i bought my new PSUs
<azonenberg>
they have the ability to key in a voltage/current limit on the keypad
<rqou>
i'm not the only one who did this by accident? :P
<azonenberg>
rather than twiddling knobs
<azonenberg>
and they also have, if memory serves me right (i havent used it yet)
<azonenberg>
an option to specify a cap on I/V
<azonenberg>
when in knob mode
<rqou>
ah neat
<azonenberg>
They also have an "electronic fuse" mode where overcurrent, instead of limiting, triggers a shutdown of the channel / the entire unit
<azonenberg>
With an optional delay in which it limits, to handle inrush etc
<azonenberg>
you can specify the delay arbitrarily
<rqou>
wow, fancy PSU
<azonenberg>
So you can say, turn on and limit current to 3A for the first 10 ms
<sorear>
is that sort of thing generally fast enough to be useful?
<azonenberg>
then shut down if it ever goes over 3A again
<rqou>
you can borrow one of my inductors and see if you can make the PSU unhappy :P
<azonenberg>
rqou: for $1200 a pop it better be fancy :p
<rqou>
so a $2 inductor better not blow it up? :P
<azonenberg>
sorear: it's saved several boards from frying so far
<azonenberg>
due to various derps in design/assembly (only one of which was my fault)
<rqou>
apparently some of the inductors in the power lab really will cause some fun sparks if you unexpectedly disconnect the power
<azonenberg>
Not surprised
<azonenberg>
rqou: and these are rohde & schwarz
<rqou>
but pressing the PSU's on/off button should be fine
<azonenberg>
a nice step up from my no-name amazon special psu from before :p
<azonenberg>
They're also rack mount
<rqou>
UCB's got a bunch of "those bog-standard triple output HP/Aglient things"
<azonenberg>
Two of them mount side by side in 2U
<rqou>
the +6/+-25V ones
<azonenberg>
Color LCD, not touchscreen though
<rqou>
you know, _those_ HP PSUs :P
<rqou>
that they've made for how long now?
<azonenberg>
These go up to 32V / 5A / 50W per channel
<rqou>
yeah, that's a lot fancier
<azonenberg>
ethernet and uart control
<azonenberg>
i think gpib as an option, i dont think mine have it
<rqou>
no gpib crowbars for you? :P
<azonenberg>
my lab is 100% ethernet
<azonenberg>
i wont buy test equipment without it
<azonenberg>
and anything i build is going to have an ethernet interface
<rqou>
but maybe some people _like_ getting out a crowbar every time they rearrange the cables :P
<azonenberg>
in fact, some of my planned future test equipment will be headless with ethernet as the sole ui
<rqou>
*IDN? :P
<azonenberg>
my lecroy is scpi over a proprietary tcp-based framing protocol
<azonenberg>
the PSUs are raw scpi over tcp
<azonenberg>
they have some other protocol too i'm not using
<sorear>
how does, uh, discovery work
<azonenberg>
for my setup? It doesn't, you specify the hostname when you launch the client
<sorear>
i assume you don't plug in the test equipment and then try to find it with nmap
<azonenberg>
i dont know if there's a discovery protocol built in or not
<azonenberg>
or you mean for my stuff that i'd build
<sorear>
i mean how does the rest of the world learn the MAC/IP for the eq
<azonenberg>
There'll be a cisco-style uart to specify ip config at startup if you want to force a static ip etc
<azonenberg>
But the default behavior will be to SLAAC onto the local ipv6 subnet
<azonenberg>
the mac will be printed on the front panel
<rqou>
azonenberg: not a fruit computer network with mdns?
<azonenberg>
so you can trivially calculate the ip from that
<azonenberg>
rqou: thats one of the first things i uninstall on a new linux box
<rqou>
am i weird that i installed avahi on purpose?
<azonenberg>
:o
<azonenberg>
i kill it with fire
<azonenberg>
i have very limited patience for things that send out broadcasts on my networks for no good reason
<azonenberg>
i like quiet networks for testing rthat dont have random packets going out on them (hence my last tweet on how to kill vivado hwserver discovery broadcasts)
<azonenberg>
ESPECIALLY on a sandbox network that has nothing else hooked up to it
<azonenberg>
when i run a ptp cable from one box to another i expect silence until i send something intentionally
<sorear>
so you read off the MAC from the front panel, do the SLAAC math in your head to get the ipv6, add that to /etc/hosts, and then use a hostname for running clients?
<azonenberg>
sorear: no, you add to DNS :p
<azonenberg>
I'll probably implement a probe/discover protocol at some point though
<rqou>
but muh privacy :P
<azonenberg>
Spin up a client, send a broadcast out to the subnet
<sorear>
public DNS or do you have a split horizon thing going on
<azonenberg>
anything that replies gets interrogated
<rqou>
azonenberg: that's called mdns :P
<azonenberg>
Public DNS, although the internal stuff is firewalled off from outside
<azonenberg>
rqou: no, it's called BIND :p
<azonenberg>
and i only want to discover when launching a new client app
<azonenberg>
not constantly in the background
<rqou>
btw what happens if somebody decides to hijack one of those slaac addresses (which is afaict allowed)
<rqou>
do you properly do NDP?
<azonenberg>
rqou: as of now i just start using the address and hope nobody else is
<rqou>
so you don't implement NDP
<sorear>
so I could find your shiny new PSU with dig right now (not actually send packets to it, obviously)
<rqou>
noncompliant :P
<azonenberg>
I implement the ARP side of NDP
<azonenberg>
i generally do not implement all of the horrible corners of the RFCs
<azonenberg>
i implement the subset that is actually used
<azonenberg>
then get my work done
<azonenberg>
the features that i would love to have deprecated, like 10baseT/half duplex, i leave empty
<rqou>
there are some things i don't quite like, but this is actually _sane_
<rqou>
amazing
<azonenberg>
seriously, i plan to implement this on my future test equipment as an optional security-enhanced layer over the default cleartext protocol
<azonenberg>
I'm that impressed with the architecture
<rqou>
they _actually_ learned lessons like "please use AEAD ciphers"
<rqou>
they don't have to repeat the TLS exercise all over again
<azonenberg>
Yeah... aes-gcm ftw
<azonenberg>
honestly, there is no reason to use anything else these days
<rqou>
not djb all the way?
<rqou>
chacha20?
<azonenberg>
i like aes, what can i say
<azonenberg>
The internal protocol for all my stuff will be (length, protobuf) over TCP for control plane
<rqou>
also, they actually use curve25519, without RNG footguns
<azonenberg>
yes, i would use 25519 for exchange
<azonenberg>
then for bulk data plane, to avoid protobuf encoding overhead
<azonenberg>
just raw adc samples or whatever over tcp
<rqou>
the only things i see "missing" are session resumption (i guess they don't care?) and revocation
<rqou>
the second of which apparently everybody except mozilla has given up on
<azonenberg>
yeah neither is important to the scada use case
<sorear>
resumption is a questionable optimization for http/1, and revocation doesn't work
<rqou>
revocation _might_ be useful
<azonenberg>
also cool that they support an auth-only mode (in fact thats the default now_)
<rqou>
e.g. "kick this device off my network"
<azonenberg>
rqou: conf t; int g0/42; shut
<azonenberg>
:p
<azonenberg>
That usually works well
<rqou>
lol
<azonenberg>
forget weird things at the transport layer
<sorear>
must confess being a bit nervous of all the new deployments of 25519. about how many years do we have before a demostration of shor dlog on a 255-bit group?
<azonenberg>
cut it off at the PHY and you're clean
<azonenberg>
sorear: the way i see it is, anybody who has a quantum computer has bigger fish to fry than me
<rqou>
i'm much happier with X25519 just because of it having fewer implementation footguns
<azonenberg>
And i think long before anyone outside NSA gets to that level, we will have solid QC-resistant algorithms that are well studied, efficient, and reliable
<azonenberg>
and if NSA really wants to decrypt my scope data, well, i say let them
<rqou>
azonenberg: so you don't believe nist p256 is backdoored? :P
<azonenberg>
rqou: i maintain an open mind
<azonenberg>
25519 seems more footgun-resistant so i prefer it
<rqou>
still easier to backdoor the CSPRNG instead? :P :P
<rqou>
/ MD_Update
<rqou>
er
<rqou>
// MD_Update
<azonenberg>
That's honestly the biggest thing holding me back from a hardware TLS/ssp21 stack
<rqou>
too soon?
<rqou>
:P
<azonenberg>
a solid hardware RNG
<sorear>
(efficient) i take it you're not the biggest fan of mceliece then :P
<azonenberg>
i've thought about coupling an avalanche diode to the XADC on a 7-series part then making an entropy pool by constantly sha'ing adc readings with the pool
<azonenberg>
then periodically re-seeding an aes-based prng from that
<azonenberg>
but i'm not confident enough it would be footgun-free to trust it for anything serious
<rqou>
how will you be sure you didn't mess it up?
<azonenberg>
Hence why i didnt do it
<azonenberg>
like, i could make a prototype
<sorear>
i get the impression that a low-rate hwrng is a tiny amount of hardware and I'm surprised they aren't more common
<rqou>
sorear: er, what happened to lattice-based cryptosystems?
<azonenberg>
sorear: doing it on an analog asic process is fairly easy
<azonenberg>
Doing it on FPGA, where everything is supposed to be deterministic
<azonenberg>
is very hard
<rqou>
i thought (at least a while ago) that was the prime candidate to be the post-quantum algos of choice?
<azonenberg>
ring oscillator based PRNGs on FPGA, in my experience, tend to phase lock
<azonenberg>
you get a feedback loop through resonances in the PDN
<sorear>
ok what does PDN mean in this context
<sorear>
fpgas don't use any logic family where pulldown networks make sense
<azonenberg>
power distribution network
<azonenberg>
when each ring osc switches you get a tiny dip in vccint
<rqou>
O_o NTRU had its IP issues sorted out
<azonenberg>
Which makes the next one switch slower
<azonenberg>
etc
<azonenberg>
you end up getting coupling and phase locking
<azonenberg>
and they're not independent oscillators anymore
<azonenberg>
bye-bye entropy
<sorear>
rqou: lattice stuff is efficient and _somewhat_ well studied, not as well as mceliece
<rqou>
alternative workaround: continue to use prime-field RSA/DH?
<rqou>
just with larger primes
<sorear>
i assume you've read the pqRSA paper :O
<sorear>
:P
<sorear>
is it actually possible to synthesize a ring oscillator?
<rqou>
yes
<rqou>
at least on gp4/ice40 with the foss tools :P
<rqou>
i think you can do it with the proprietary tools too
<rqou>
but you might have to manually instantiate LUTs
<rqou>
hey azonenberg
<rqou>
we should do a cryptocurrency
<rqou>
centered around doing precomputation for doing discrete logs
<rqou>
:P
<rqou>
we'll call it NSACoin :P :P
<sorear>
It's actually very easy to adapt the NFS into a proof of work
<azonenberg>
lool
<sorear>
your difficulty becomes the highest prime in the factor base, the proofs of work are relations
<rqou>
we just need to promote this some more, get some people to churn out asics, and we'll be able to do discrete log on a 2048-bit group in no time :P
<azonenberg>
p256coin? :p
<rqou>
or that
<rqou>
i don't know if DH or ECDH is more popular nowadays
<sorear>
I was thinking of doing th 1024-bit DNSSEC root signing key that they're supposed to roll yearly but have put off for most of a decade
<azonenberg>
that is a hilarious idea though
<azonenberg>
manipulate the cryptocurrency folks into becoming your compute cloud
<azonenberg>
by figuring out how to make a blockchain out of your work units
<sorear>
(RSA-1024)
<azonenberg>
BOINCcoin? :p
<rqou>
er wait
<rqou>
would p256coin work?
<rqou>
the GNFS doesn't work on elliptic curves
<rqou>
it obviously works on integers mod p
<sorear>
i don't think so
<rqou>
i guess we have to stick to NSAcoin for now :P
<sorear>
it might be possible to adapt van oorschot-wiener to to the "distinguished points on a blockchain" use case, but I haven't worked the details yet
<rqou>
sorear i'm curious what's your background?
* sorear
wonders why Google and IBM are hyping quantum computers for basically everything except the tasks that they are theoretically known to have an advantage at
<rqou>
you seem to know a lot of the math that i don't know
<rqou>
also wtf it's late, sleep time
<sorear>
i'm ~entirely self-taught on math stuff, my background is a chaotic mess of everything because it's whatever caught my fancy on any given day
<sorear>
so not much help there
nrossi[m] is now known as nrossi
sgstair has quit [Ping timeout: 240 seconds]
rohitksingh_work has quit [Ping timeout: 246 seconds]
rohitksingh_work has joined ##openfpga
[X-Scale] has joined ##openfpga
Bike has joined ##openfpga
X-Scale has quit [Ping timeout: 268 seconds]
[X-Scale] is now known as X-Scale
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
sunxi_fan has joined ##openfpga
digshadow has quit [Ping timeout: 240 seconds]
Bike is now known as Bicyclidine
rohitksingh_work has quit [Read error: Connection reset by peer]
<mithro>
q3k: The most interesting thing about his work is the formal verification side
<mithro>
q3k: snap :-P
<q3k>
but yeah, I want it the other wise around
<q3k>
I want to use litedram for the acquisition memory in the scope
<q3k>
have a low-latency bus between that and the sampling logic
<q3k>
and then be an axi slave so that you can pipe out samples slowly to the Zynq PS
<q3k>
*the other way around
<G33KatWork>
Prf_Jakob: the zynqs don't have any dedicated graphics acceleration or even output in hardware even the bigger ones. you need to implement that in the PL. starting with the zynqmp (totally different chip and architecture) they have displayport and a mali GPU in hardware
<q3k>
right, I keep conflating the zynq&zynqmp
RaivisR has joined ##openfpga
mumptai has joined ##openfpga
mumptai_ has joined ##openfpga
mumptai_ has quit [Read error: Connection reset by peer]
<ZipCPU>
mithro: Thanks for the compliment. I've tried doing the AXI to WB a couple of times now. My failures are currently in that same repo. Fascinating thing is ... I never knew that the AXI->WB was such a failure until I tried applying the formal properties to it.
<ZipCPU>
q3k: I'll probably give another go at AXI->WB again. However, the last time I tried it I put way too much time into it with no results. It'll happen, I'm sure, It's just likely to take some time.